Published in: LIPIcs, Volume 85, 28th International Conference on Concurrency Theory (CONCUR 2017)
Rayna Dimitrova, Ivan Gavran, Rupak Majumdar, Vinayak S. Prabhu, and Sadegh Esmaeil Zadeh Soudjani. The Robot Routing Problem for Collecting Aggregate Stochastic Rewards. In 28th International Conference on Concurrency Theory (CONCUR 2017). Leibniz International Proceedings in Informatics (LIPIcs), Volume 85, pp. 13:1-13:17, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2017)
@InProceedings{dimitrova_et_al:LIPIcs.CONCUR.2017.13, author = {Dimitrova, Rayna and Gavran, Ivan and Majumdar, Rupak and Prabhu, Vinayak S. and Soudjani, Sadegh Esmaeil Zadeh}, title = {{The Robot Routing Problem for Collecting Aggregate Stochastic Rewards}}, booktitle = {28th International Conference on Concurrency Theory (CONCUR 2017)}, pages = {13:1--13:17}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-048-4}, ISSN = {1868-8969}, year = {2017}, volume = {85}, editor = {Meyer, Roland and Nestmann, Uwe}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.CONCUR.2017.13}, URN = {urn:nbn:de:0030-drops-77920}, doi = {10.4230/LIPIcs.CONCUR.2017.13}, annote = {Keywords: Path Planning, Graph Games, Quantitative Objectives, Discounting} }
Published in: LIPIcs, Volume 42, 26th International Conference on Concurrency Theory (CONCUR 2015)
Sadegh Esmaeil Zadeh Soudjani, Alessandro Abate, and Rupak Majumdar. Dynamic Bayesian Networks as Formal Abstractions of Structured Stochastic Processes. In 26th International Conference on Concurrency Theory (CONCUR 2015). Leibniz International Proceedings in Informatics (LIPIcs), Volume 42, pp. 169-183, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2015)
@InProceedings{esmaeilzadehsoudjani_et_al:LIPIcs.CONCUR.2015.169, author = {Esmaeil Zadeh Soudjani, Sadegh and Abate, Alessandro and Majumdar, Rupak}, title = {{Dynamic Bayesian Networks as Formal Abstractions of Structured Stochastic Processes}}, booktitle = {26th International Conference on Concurrency Theory (CONCUR 2015)}, pages = {169--183}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-939897-91-0}, ISSN = {1868-8969}, year = {2015}, volume = {42}, editor = {Aceto, Luca and de Frutos Escrig, David}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.CONCUR.2015.169}, URN = {urn:nbn:de:0030-drops-53693}, doi = {10.4230/LIPIcs.CONCUR.2015.169}, annote = {Keywords: Structured stochastic systems, general space Markov processes, formal verification, dynamic Bayesian networks, Markov chain abstraction} }
Feedback for Dagstuhl Publishing