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
Approximate learning of limit-average automata	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
Learning deterministic automata on infinite words	2021-07-06	Paper
Satisfiability vs. finite satisfiability in elementary modal logics	2021-04-27	Paper
Querying best paths in graph databases	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
The target discounted-sum problem	2018-04-23	Paper
Quantitative automata under probabilistic semantics	2018-04-23	Paper
Nested weighted automata	2018-03-22	Paper
Nested weighted limit-average automata of bounded width	2018-03-21	Paper
Edit distance for pushdown automata	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