Introduction to stochastic control theory, 2012. ,
, , 2019.
Real time programming: Special purpose or general purpose languages. Information Processing, vol.89, pp.11-17, 1989. ,
URL : https://hal.archives-ouvertes.fr/inria-00075494
Pyro: Deep universal probabilistic programming, Journal of Machine Learning Research, vol.20, issue.6, pp.1-28, 2019. ,
Zélus, a Synchronous Language with ODEs, International Conference on Hybrid Systems: Computation and Control, 2013. ,
Stan: A probabilistic programming language, Journal of Statistical Software, vol.76, issue.1, pp.1-37, 2017. ,
A Conservative Extension of Synchronous Data-flow with State Machines, ACM International Conference on Embedded Software, 2005. ,
Scade 6: A formal language for embedded critical software development, International Symposium on Theoretical Aspects of Software Engineering, 2017. ,
URL : https://hal.archives-ouvertes.fr/hal-01666470
Sequential Monte Carlo samplers, Journal of the Royal Statistical Society: Series B (Statistical Methodology), vol.68, issue.3, pp.411-436, 2006. ,
URL : https://hal.archives-ouvertes.fr/hal-01593880
The Design and Implementation of Probabilistic Programming Languages, pp.2019-2029, 2014. ,
Statecharts: A visual formalism for complex systems, Sci. Comput. Program, vol.8, issue.3, pp.231-274, 1987. ,
Compiling Markov chain Monte Carlo algorithms for probabilistic modeling, ACM SIGPLAN Conference on Programming Language Design and Implementation, 2017. ,
The bugs project: Evolution, critique and future directions, Statistics in medicine, vol.28, issue.25, pp.3049-3067, 2009. ,
FastSLAM: A factored solution to the simultaneous localization and mapping problem, AAAI National Conference on Artificial Intelligence, 2002. ,
Delayed sampling and automatic rao-blackwellization of probabilistic programs, AISTATS Proceedings of Machine Learning Research, 2018. ,
Automated learning with a probabilistic programming language, Birch. Annual Reviews in Control, vol.46, pp.29-43, 2018. ,
Functional specification of probabilistic process models, AAAI National Conference on Artificial Intelligence, 2005. ,
CTPPL: A continuous time probabilistic programming language, International Jont Conference on Artifical Intelligence, 2009. ,
Lutin: A language for specifying and executing reactive scenarios, EURASIP Journal of Embedded Sytems, 2008. ,
Design and implementation of probabilistic programming language Anglican, Symposium on the Implementation and Application of Functional Programming Languages, 2016. ,
Deep probabilistic programming, International Conference on Learning Representations, 2017. ,
Swift: Compiled inference for probabilistic programming languages, International Joint Conference on Artificial Intelligence, 2016. ,