no code implementations • 21 Jan 2022 • Sasinee Pruekprasert, Jérémy Dubut, Toru Takisaka, Clovis Eberhart, Ahmet Cetinkaya
We develop a method to approximate the moments of a discrete-time stochastic polynomial system.
no code implementations • 30 Mar 2021 • Sasinee Pruekprasert, Clovis Eberhart, Jérémy Dubut
We extend previous work on symbolic self-triggered control for non-deterministic continuous-time nonlinear systems without stability assumptions to a larger class of specifications.
no code implementations • 5 Jan 2021 • Ichiro Hasuo, Yuichiro Oyabu, Clovis Eberhart, Kohei Suenaga, Kenta Cho, Shin-ya Katsumata
We present a novel sampling framework for probabilistic programs.