Jan Otop

Available identifiers

List of research outcomes

Publication	Date of Publication	Type
Learning deterministic visibly pushdown automata under accessible stack	2024-08-06	Paper
Deterministic weighted automata under partial observability	2024-05-29	Paper
https://portal.mardi4nfdi.de/entity/Q5875378	2023-02-03	Paper
Long-Run Average Behavior of Vector Addition Systems with States	2023-02-03	Paper
Multi-Dimensional Long-Run Average Problems for Vector Addition Systems with States	2022-07-18	Paper
Learning infinite-word automata with loop-index queries	2022-04-11	Paper
https://portal.mardi4nfdi.de/entity/Q5155690	2021-10-08	Paper
Non-deterministic Weighted Automata on Random Words	2021-08-04	Paper
https://portal.mardi4nfdi.de/entity/Q4999312	2021-07-06	Paper
https://portal.mardi4nfdi.de/entity/Q4986511	2021-04-27	Paper
https://portal.mardi4nfdi.de/entity/Q5136335	2020-11-25	Paper
Average Stack Cost of Büchi Pushdown Automata	2020-11-25	Paper
Bidirectional nested weighted automata	2020-05-27	Paper
Non-deterministic weighted automata evaluated over Markov chains	2019-11-29	Paper
Quantitative Automata under Probabilistic Semantics	2019-08-13	Paper
Satisfiability versus Finite Satisfiability in Elementary Modal Logics	2019-01-17	Paper
Quantitative monitor automata	2018-08-27	Paper
Nested Weighted Automata	2018-04-23	Paper
Quantitative Automata under Probabilistic Semantics	2018-04-23	Paper
The Target Discounted-Sum Problem	2018-04-23	Paper
Nested Weighted Automata	2018-03-22	Paper
Nested Weighted Limit-Average Automata of Bounded Width	2018-03-21	Paper
https://portal.mardi4nfdi.de/entity/Q5367062	2017-10-12	Paper
On the Decidability of Elementary Modal Logics	2017-07-12	Paper
Decidable Elementary Modal Logics	2017-05-16	Paper
Model measuring for hybrid systems	2017-05-16	Paper
Quantitative fair simulation games	2017-05-12	Paper
Lipschitz Robustness of Finite-state Transducers	2017-04-25	Paper
Elementary Modal Logics over Transitive Structures	2017-02-02	Paper
Model measuring for discrete and hybrid systems	2016-12-15	Paper
Lipschitz Robustness of Timed I/O Systems	2016-03-23	Paper
Edit Distance for Pushdown Automata	2015-11-04	Paper
From Model Checking to Model Measuring	2013-08-12	Paper
Modal logics definable by universal three-variable formulas	2012-08-31	Paper
\(E\)-unification with constants vs. general \(E\)-unification	2012-07-31	Paper
Logic for Programming, Artificial Intelligence, and Reasoning	2005-11-10	Paper

Research outcomes over time

This page was built for person: Jan Otop