papers
Publications (11)
cs.FL2019
Approximate Learning of Limit-Average Automata
Jakub Michaliszyn, Jan Otop
cs.FL2016
Nested Weighted Limit-Average Automata of Bounded Width
Krishnendu Chatterjee, Thomas A. Henzinger, Jan Otop
cs.LO2012
Satisfiability vs. Finite Satisfiability in Elementary Modal Logics
Jakub Michaliszyn, Jan Otop, Piotr Witkowski
cs.FL2014
Lipschitz Robustness of Finite-state Transducers
Thomas A. Henzinger, Jan Otop, Roopsha Samanta
cs.FL2015
Nested Weighted Automata
Krishnendu Chatterjee, Thomas A. Henzinger, Jan Otop
cs.DB2017
Querying Best Paths in Graph Databases
Jakub Michaliszyn, Jan Otop, Piotr Wieczorek
cs.FL2015
Lipschitz Robustness of Timed I/O Systems
Thomas A. Henzinger, Jan Otop, Roopsha Samanta
cs.FL2017
Bidirectional Nested Weighted Automata
Krishnendu Chatterjee, Thomas A. Henzinger, Jan Otop
cs.FL2019
Long-Run Average Behavior of Vector Addition Systems with States
Krishnendu Chatterjee, Thomas A. Henzinger, Jan Otop
cs.FL2017
Edit Distance for Pushdown Automata
Krishnendu Chatterjee, Thomas A. Henzinger, Rasmus Ibsen-Jensen +1
cs.FL2017
Average Stack Cost of Buechi Pushdown Automata
Jakub Michaliszyn, Jan Otop