Adrián Elgyütt

Publication Activity (10 Years)

Years Active: 2018-2018
Publications (10 Years): 3

Top Topics

Optimization Criteria

Mazurkiewicz Traces

Top Venues

Publications

Krishnendu Chatterjee, Adrián Elgyütt, Petr Novotný, Owen Rouillé
Expectation Optimization with Probabilistic Guarantees in POMDPs with Discounted-Sum Objectives. IJCAI (2018)
Krishnendu Chatterjee, Adrián Elgyütt, Petr Novotný, Owen Rouillé
Expectation Optimization with Probabilistic Guarantees in POMDPs with Discounted-sum Objectives. CoRR (2018)
Adrián Elgyütt, Thomas Ferrère, Thomas A. Henzinger
Monitoring Temporal Logic with Clock Variables. FORMATS (2018)