Monitoring Temporal Logic with Clock Variables. - Adrián Elgyütt; Thomas Ferrère; Thomas A. Henzinger (FORMATS, 2018)

Expectation Optimization with Probabilistic Guarantees in POMDPs with Discounted-Sum Objectives. - Krishnendu Chatterjee; Adrián Elgyütt; Petr Novotný 001; Owen Rouillé (IJCAI, 2018)