| The target discounted-sum problem U Boker, TA Henzinger, J Otop 2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science, 750-761, 2015 | 36 | 2015 |
| From model checking to model measuring TA Henzinger, J Otop CONCUR 2013–Concurrency Theory: 24th International Conference, CONCUR 2013 …, 2013 | 33 | 2013 |
| Distributed synthesis for LTL fragments K Chatterjee, TA Henzinger, J Otop, A Pavlogiannis 2013 Formal Methods in Computer-Aided Design, 18-25, 2013 | 30 | 2013 |
| Nested weighted automata K Chatterjee, TA Henzinger, J Otop ACM Transactions on Computational Logic (TOCL) 18 (4), 1-44, 2017 | 27 | 2017 |
| Quantitative monitor automata K Chatterjee, TA Henzinger, J Otop Static Analysis: 23rd International Symposium, SAS 2016, Edinburgh, UK …, 2016 | 21 | 2016 |
| Quantitative automata under probabilistic semantics K Chatterjee, TA Henzinger, J Otop Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer …, 2016 | 13 | 2016 |
| Learning deterministic automata on infinite words J Michaliszyn, J Otop ECAI 2020, 2370-2377, 2020 | 10 | 2020 |
| Nested weighted limit-average automata of bounded width K Chatterjee, TA Henzinger, J Otop arXiv preprint arXiv:1606.03598, 2016 | 9 | 2016 |
| Edit distance for pushdown automata K Chatterjee, TA Henzinger, R Ibsen-Jensen, J Otop Automata, Languages, and Programming: 42nd International Colloquium, ICALP …, 2015 | 9 | 2015 |
| Lipschitz robustness of finite-state transducers TA Henzinger, J Otop, R Samanta arXiv preprint arXiv:1404.6452, 2014 | 9 | 2014 |
| Decidable elementary modal logics J Michaliszyn, J Otop 2012 27th Annual IEEE Symposium on Logic in Computer Science, 491-500, 2012 | 9 | 2012 |
| Modal logics definable by universal three-variable formulas E Kieronski, J Michaliszyn, J Otop IARCS Annual Conference on Foundations of Software Technology and …, 2011 | 9 | 2011 |
| Model measuring for hybrid systems TA Henzinger, J Otop Proceedings of the 17th international conference on Hybrid systems …, 2014 | 8 | 2014 |
| Lipschitz robustness of timed I/O systems TA Henzinger, J Otop, R Samanta Verification, Model Checking, and Abstract Interpretation: 17th …, 2015 | 7 | 2015 |
| Quantitative fair simulation games K Chatterjee, TA Henzinger, J Otop, Y Velner Information and Computation 254, 143-166, 2017 | 6 | 2017 |
| Model measuring for discrete and hybrid systems TA Henzinger, J Otop Nonlinear Analysis: Hybrid Systems 23, 166-190, 2017 | 5 | 2017 |
| Satisfiability vs. finite satisfiability in elementary modal logics J Michaliszyn, J Otop, P Witkowski arXiv preprint arXiv:1210.2481, 2012 | 5 | 2012 |
| Approximate learning of limit-average automata J Michaliszyn, J Otop arXiv preprint arXiv:1906.11104, 2019 | 4 | 2019 |
| Non-deterministic weighted automata on random words J Michaliszyn, J Otop 29th International Conference on Concurrency Theory (CONCUR 2018), 2018 | 4 | 2018 |
| Querying best paths in graph databases J Michaliszyn, J Otop, P Wieczorek arXiv preprint arXiv:1710.04419, 2017 | 4 | 2017 |
