Principles of model checking, 2008. ,
Universal models of multivariate temporal point processes, Proceedings of the 19th International Conference on Artificial Intelligence and Statistics, pp.556-563, 2016. ,
Generalized queries and Bayesian statistical model checking in dynamic bayesian networks: Application to personalized medicine, Proceedings of The 8th Annual International Conference on Computational Systems Bioinformatics, pp.201-212, 2009. ,
Statistical model checking: An overview, International Conference on Runtime Verification, pp.122-135, 2010. ,
URL : https://hal.archives-ouvertes.fr/inria-00591593
Learning probabilistic automata for model checking, Quantitative Evaluation of Systems (QEST), pp.111-120, 2011. ,
Fast MCMC sampling for Markov jump processes and extensions, The Journal of Machine Learning Research, vol.14, issue.1, pp.3295-3320, 2013. ,
The max-min hill-climbing Bayesian network structure learning algorithm, Machine learning, vol.65, issue.1, pp.31-78, 2006. ,
, Process Mining: Discovery, Conformance and Enhancement of Business Processes, 2014.