Shrinking horizon Model Predictive Control with Signal Temporal Logic constraints under stochastic disturbances. IEEE Transactions on Automatic Control, Volume: 64 , Issue: 8, IEEE 2019, pp. 3324-3331.
Testing Cyber-Physical Systems through Bayesian Optimization. Transactions on Embedded Computing Systems (TECS), ESWEEK special issue for articles presented in the 2017 ACM SIGBED International Conference on Embedded Software (EMSOFT), vol 16(5s) ACM 2017, pp. 170:1-170:18.
Quantitative temporal simulation and refinement distances for timed systems. Transactions on Automatic Control, IEEE, 60(9), 2015, pp. 2291-2306.
Synthesis of memory-efficient, clock-memory free, and non-Zeno safety controllers for timed systems. Information and Computation, Elsevier, 228 (2013), pp. 83-119.
Timed parity games: Complexity and robustness. Journal of Logical Methods in Computer Science, 7(4) (2011), pp. 1-55.