Items where authors include "Majumdar, R."

Article

Dimitrova, R. and Majumdar, R. (2018) Reachability analysis of reversal-bounded automata on series–parallel graphs. Acta Informatica, 55 (2). pp. 153-189. ISSN 0001-5903

Chistikov, D., Dimitrova, R. and Majumdar, R. (2017) Approximate counting in SMT and value estimation for probabilistic programs. Acta Informatica, 54 (8). pp. 729-764. ISSN 0001-5903

Proceedings Paper

Dimitrova, R., Gavran, I., Majumdar, R. et al. (2 more authors) (2017) The robot routing problem for collecting aggregate stochastic rewards. In: Meyer, R. and Nestmann, U., (eds.) 28th International Conference on Concurrency Theory (CONCUR 2017). 28th International Conference on Concurrency Theory, 04-09 Sep 2017, Berlin, Germany. Schloss Dagstuhl – Leibniz-Zentrum für Informatik , 13:1-13:17. ISBN 9783959770484

Deininger, D., Dimitrova, R. and Majumdar, R. (2016) Symbolic model checking for factored probabilistic models. In: Artho, C., Legay, A. and Peled, D., (eds.) Automated Technology for Verification and Analysis - 14th International Symposium, ATVA 2016. Automated Technology for Verification and Analysis, 17-20 Oct 2016, Chiba, Japan. Lecture Notes in Computer Science (9938). Springer , pp. 444-460. ISBN 9783319465197

Dimitrova, R., Ferrer Fioriti, L.M., Hermanns, H. et al. (1 more author) (2016) Probabilistic CTL* : the deductive way. In: Chechik, M. and Raskin, J.-F., (eds.) Tools and Algorithms for the Construction and Analysis of Systems - 22nd International Conference, TACAS 2016. Tools and Algorithms for the Construction and Analysis of Systems, 02-08 Apr 2016, Eindhoven, The Netherlands. Lecture Notes in Computer Science (9636). Springer , pp. 280-296. ISBN 9783662496732

Dimitrova, R. and Majumdar, R. (2015) Reachability analysis of reversal-bounded automata on series-parallel graphs. In: Esparza, J. and Tronci, E., (eds.) Electronic Proceedings in Theoretical Computer Science. 6th International Symposium on Games, Automata, Logics and Formal Verification (GandALF 2015), 21-22 Sep 2015, Genoa, Italy. Open Publishing Association , pp. 100-114.

Chistikov, D., Dimitrova, R. and Majumdar, R. (2015) Approximate counting in SMT and value estimation for probabilistic programs. In: Baier, C. and Tinelli, C., (eds.) Tools and Algorithms for the Construction and Analysis of Systems - 21st International Conference, TACAS 2015. Tools and Algorithms for the Construction and Analysis of Systems, 11-18 Apr 2015, London, UK. Lecture Notes in Computer Science (9035). Springer , pp. 320-334. ISBN 9783662466803

Dimitrova, R. and Majumdar, R. (2014) Deductive control synthesis for alternating-time logics. In: Mitra, T. and Reineke, J., (eds.) EMSOFT '14: Proceedings of the 14th International Conference on Embedded Software. ESWEEK'14: Tenth Embedded System Week, 12-17 Oct 2014, New Delhi, India. ACM Digital Library , pp. 1-10. ISBN 9781450330527