Adrián Elgyütt

According to our database, Adrián Elgyütt authored at least 2 papers in 2018.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2018

Expectation Optimization with Probabilistic Guarantees in POMDPs with Discounted-Sum Objectives.

Krishnendu Chatterjee, Adrián Elgyütt, Petr Novotný, Owen Rouillé

Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018

Monitoring Temporal Logic with Clock Variables.

Adrián Elgyütt, Thomas Ferrère, Thomas A. Henzinger

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2018