| 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 |
| Distributed synthesis for LTL fragments K Chatterjee, TA Henzinger, J Otop, A Pavlogiannis 2013 Formal Methods in Computer-Aided Design, 18-25, 2013 | 33 | 2013 |
| From model checking to model measuring TA Henzinger, J Otop International Conference on Concurrency Theory, 273-287, 2013 | 33 | 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 International Static Analysis Symposium, 23-38, 2016 | 22 | 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 |
| Lipschitz robustness of finite-state transducers TA Henzinger, J Otop, R Samanta arXiv preprint arXiv:1404.6452, 2014 | 11 | 2014 |
| Learning deterministic automata on infinite words J Michaliszyn, J Otop ECAI 2020, 2370-2377, 2020 | 10 | 2020 |
| Edit distance for pushdown automata K Chatterjee, TA Henzinger, R Ibsen-Jensen, J Otop Logical Methods in Computer Science 13, 2017 | 10 | 2017 |
| Model measuring for hybrid systems TA Henzinger, J Otop Proceedings of the 17th international conference on Hybrid systems …, 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 |
| Nested weighted limit-average automata of bounded width K Chatterjee, TA Henzinger, J Otop arXiv preprint arXiv:1606.03598, 2016 | 8 | 2016 |
| Quantitative fair simulation games K Chatterjee, TA Henzinger, J Otop, Y Velner Information and Computation 254, 143-166, 2017 | 7 | 2017 |
| Lipschitz robustness of timed I/O systems TA Henzinger, J Otop, R Samanta International Conference on Verification, Model Checking, and Abstract …, 2015 | 7 | 2015 |
| 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 |
| Learning infinite-word automata with loop-index queries J Michaliszyn, J Otop Artificial Intelligence 307, 103710, 2022 | 4 | 2022 |
| Non-deterministic weighted automata evaluated over Markov chains J Michaliszyn, J Otop Journal of Computer and System Sciences 108, 118-136, 2020 | 4 | 2020 |
| Approximate learning of limit-average automata J Michaliszyn, J Otop arXiv preprint arXiv:1906.11104, 2019 | 4 | 2019 |
