1. Convergence proofs for Simulated Annealing falsification of safety properties
2. Probabilistic Temporal Logic Falsification of Cyber-Physical Systems
3. Generalized Robust MTL Semantics for Problems in Cardiac Electrophysiology
4. Yasin Abbasi-Yadkori, Peter Bartlett, Victor Gabillon, and Alan Malek. 2017. Hit-and-Run for Sampling and Planning in Non-Convex Spaces. In Proceedings of the 20th International Conference on Artificial Intelligence and Statistics(Proceedings of Machine Learning Research, Vol. 54), Aarti Singh and Jerry Zhu (Eds.). PMLR, 888–895. https://proceedings.mlr.press/v54/abbasi-yadkori17a.html
5. Étienne André, Masaki Waga, Natuski Urabe, and Ichiro Hasuo. 2022. Exemplifying Parametric Timed Specifications over Signals with Bounded Behavior. In NASA Formal Methods, Jyotirmoy V. Deshmukh, Klaus Havelund, and Ivan Perez (Eds.). Springer International Publishing, Cham, 470–488.