Jan Otop

Publication Activity (10 Years)

Years Active: 2004-2024
Publications (10 Years): 44

Top Topics

Graph Databases

Partial Observability

Deterministic Automata

Top Venues

Publications

Jakub Michaliszyn, Jan Otop
Deterministic Weighted Automata under Partial Observability. CoRR (2024)
Jakub Michaliszyn, Jan Otop
Deterministic Weighted Automata Under Partial Observability. JELIA (2023)
Jakub Michaliszyn, Jan Otop, Piotr Wieczorek
Reachability and Bounded Emptiness Problems of Constraint Automata with Prefix, Suffix and Infix. CONCUR (2023)
Jakub Michaliszyn, Jan Otop
Learning infinite-word automata with loop-index queries. Artif. Intell. 307 (2022)
Jakub Michaliszyn, Jan Otop
Learning Deterministic Visibly Pushdown Automata Under Accessible Stack. MFCS (2022)
Jakub Michaliszyn, Jan Otop
Minimization of Limit-Average Automata. IJCAI (2021)
Jakub Michaliszyn, Jan Otop, Piotr Wieczorek
Modular Path Queries with Arithmetic. Log. Methods Comput. Sci. 17 (3) (2021)
Krishnendu Chatterjee, Thomas A. Henzinger, Jan Otop
Multi-dimensional Long-Run Average Problems for Vector Addition Systems with States. CoRR (2020)
Jakub Michaliszyn, Jan Otop
Learning Deterministic Automata on Infinite Words. ECAI (2020)
Jakub Michaliszyn, Jan Otop
Non-deterministic weighted automata evaluated over Markov chains. J. Comput. Syst. Sci. 108 (2020)
Jakub Michaliszyn, Jan Otop, Piotr Wieczorek
Modular Path Queries with Arithmetic. CoRR (2020)
Krishnendu Chatterjee, Thomas A. Henzinger, Jan Otop
Multi-Dimensional Long-Run Average Problems for Vector Addition Systems with States. CONCUR (2020)
Krishnendu Chatterjee, Thomas A. Henzinger, Jan Otop
Quantitative Automata under Probabilistic Semantics. Log. Methods Comput. Sci. 15 (3) (2019)
Jakub Michaliszyn, Jan Otop
Non-deterministic weighted automata evaluated over Markov chains. CoRR (2019)
Krishnendu Chatterjee, Thomas A. Henzinger, Jan Otop
Long-Run Average Behavior of Vector Addition Systems with States. CONCUR (2019)
Jakub Michaliszyn, Jan Otop
Approximate Learning of Limit-Average Automata. CONCUR (2019)
Krishnendu Chatterjee, Thomas A. Henzinger, Jan Otop
Long-Run Average Behavior of Vector Addition Systems with States. CoRR (2019)
Jakub Michaliszyn, Jan Otop
Approximate Learning of Limit-Average Automata. CoRR (2019)
Krishnendu Chatterjee, Thomas A. Henzinger, Jan Otop
Computing Average Response Time. Principles of Modeling (2018)
Jakub Michaliszyn, Jan Otop, Piotr Witkowski
Satisfiability versus Finite Satisfiability in Elementary Modal Logics. Fundam. Informaticae 163 (2) (2018)
Jakub Michaliszyn, Jan Otop
Non-deterministic Weighted Automata on Random Words. CONCUR (2018)
Jakub Michaliszyn, Jan Otop
Average Stack Cost of Büchi Pushdown Automata. FSTTCS (2017)
Jakub Michaliszyn, Jan Otop, Piotr Wieczorek
Querying Best Paths in Graph Databases. FSTTCS (2017)
Krishnendu Chatterjee, Thomas A. Henzinger, Rasmus Ibsen-Jensen, Jan Otop
Edit Distance for Pushdown Automata. Log. Methods Comput. Sci. 13 (3) (2017)
Jakub Michaliszyn, Jan Otop, Piotr Wieczorek
Querying Best Paths in Graph Databases. CoRR (2017)
Krishnendu Chatterjee, Thomas A. Henzinger, Jan Otop
Bidirectional Nested Weighted Automata. CONCUR (2017)
Jakub Michaliszyn, Jan Otop
Average Stack Cost of Buechi Pushdown Automata. CoRR (2017)
Krishnendu Chatterjee, Thomas A. Henzinger, Jan Otop, Yaron Velner
Quantitative fair simulation games. Inf. Comput. 254 (2017)
Krishnendu Chatterjee, Thomas A. Henzinger, Jan Otop
Bidirectional Nested Weighted Automata. CoRR (2017)
Krishnendu Chatterjee, Thomas A. Henzinger, Jan Otop
Nested Weighted Automata. ACM Trans. Comput. Log. 18 (4) (2017)
Krishnendu Chatterjee, Thomas A. Henzinger, Jan Otop
Quantitative Monitor Automata. SAS (2016)
Krishnendu Chatterjee, Thomas A. Henzinger, Jan Otop
Quantitative Automata under Probabilistic Semantics. LICS (2016)
Krishnendu Chatterjee, Thomas A. Henzinger, Jan Otop
Nested Weighted Limit-Average Automata of Bounded Width. CoRR (2016)
Maciej Grabon, Jakub Michaliszyn, Jan Otop, Piotr Wieczorek
Querying Data Graphs with Arithmetical Regular Expressions. IJCAI (2016)
Krishnendu Chatterjee, Thomas A. Henzinger, Jan Otop
Nested Weighted Limit-Average Automata of Bounded Width. MFCS (2016)
Thomas A. Henzinger, Jan Otop, Roopsha Samanta
Lipschitz Robustness of Timed I/O Systems. VMCAI (2016)
Krishnendu Chatterjee, Thomas A. Henzinger, Jan Otop
Quantitative Automata under Probabilistic Semantics. CoRR (2016)
Jakub Michaliszyn, Jan Otop, Emanuel Kieronski
On the Decidability of Elementary Modal Logics. ACM Trans. Comput. Log. 17 (1) (2015)
Krishnendu Chatterjee, Thomas A. Henzinger, Jan Otop
Nested Weighted Automata. CoRR (2015)
Krishnendu Chatterjee, Thomas A. Henzinger, Rasmus Ibsen-Jensen, Jan Otop
Edit Distance for Pushdown Automata. CoRR (2015)
Thomas A. Henzinger, Jan Otop, Roopsha Samanta
Lipschitz Robustness of Timed I/O Systems. CoRR (2015)
Krishnendu Chatterjee, Thomas A. Henzinger, Rasmus Ibsen-Jensen, Jan Otop
Edit Distance for Pushdown Automata. ICALP (2) (2015)
Udi Boker, Thomas A. Henzinger, Jan Otop
The Target Discounted-Sum Problem. LICS (2015)
Krishnendu Chatterjee, Thomas A. Henzinger, Jan Otop
Nested Weighted Automata. LICS (2015)
Thomas A. Henzinger, Jan Otop
Model measuring for hybrid systems. HSCC (2014)
Thomas A. Henzinger, Jan Otop, Roopsha Samanta
Lipschitz Robustness of Finite-state Transducers. CoRR (2014)
Thomas A. Henzinger, Jan Otop, Roopsha Samanta
Lipschitz Robustness of Finite-state Transducers. FSTTCS (2014)
Thomas A. Henzinger, Jan Otop
From Model Checking to Model Measuring. CONCUR (2013)
Krishnendu Chatterjee, Thomas A. Henzinger, Jan Otop, Andreas Pavlogiannis
Distributed synthesis for LTL fragments. FMCAD (2013)
Jakub Michaliszyn, Jan Otop
Elementary Modal Logics over Transitive Structures. CSL (2013)
Jakub Michaliszyn, Jan Otop
Decidable Elementary Modal Logics. LICS (2012)
Jan Otop
E-unification with Constants vs. General E-unification. J. Autom. Reason. 48 (3) (2012)
Jakub Michaliszyn, Jan Otop, Piotr Witkowski
Satisfiability vs. Finite Satisfiability in Elementary Modal Logics GandALF (2012)
Jan Otop
Unification of anti-terms. UNIF (2011)
Emanuel Kieronski, Jakub Michaliszyn, Jan Otop
Modal Logics Definable by Universal Three-Variable Formulas. FSTTCS (2011)
Jerzy Marcinkowski, Jan Otop, Grzegorz Stelmaszek
On a Semantic Subsumption Test. LPAR (2004)