2 Publications

Mark all

[2]
2018 | Conference Paper | IST-REx-ID: 24   OA
K. Chatterjee, A. Elgyütt, P. Novotny, and O. Rouillé, “Expectation optimization with probabilistic guarantees in POMDPs with discounted-sum objectives,” presented at the IJCAI: International Joint Conference on Artificial Intelligence, Stockholm, Sweden, 2018, vol. 2018, pp. 4692–4699.
View | DOI | Download (ext.) | arXiv
 
[1]
2018 | Conference Paper | IST-REx-ID: 81
A. Elgyütt, T. Ferrere, and T. A. Henzinger, “Monitoring temporal logic with clock variables,” presented at the FORMATS: Formal Modeling and Analysis of Timed Systems, Beijing, China, 2018, vol. 11022, pp. 53–70.
View | DOI
 

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed

2 Publications

Mark all

[2]
2018 | Conference Paper | IST-REx-ID: 24   OA
K. Chatterjee, A. Elgyütt, P. Novotny, and O. Rouillé, “Expectation optimization with probabilistic guarantees in POMDPs with discounted-sum objectives,” presented at the IJCAI: International Joint Conference on Artificial Intelligence, Stockholm, Sweden, 2018, vol. 2018, pp. 4692–4699.
View | DOI | Download (ext.) | arXiv
 
[1]
2018 | Conference Paper | IST-REx-ID: 81
A. Elgyütt, T. Ferrere, and T. A. Henzinger, “Monitoring temporal logic with clock variables,” presented at the FORMATS: Formal Modeling and Analysis of Timed Systems, Beijing, China, 2018, vol. 11022, pp. 53–70.
View | DOI
 

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed