Jan Otop

From MaRDI portal
Person:438583

Available identifiers

zbMath Open otop.janMaRDI QIDQ438583

List of research outcomes

PublicationDate of PublicationType
https://portal.mardi4nfdi.de/entity/Q58753782023-02-03Paper
https://portal.mardi4nfdi.de/entity/Q58753892023-02-03Paper
https://portal.mardi4nfdi.de/entity/Q50892882022-07-18Paper
Learning infinite-word automata with loop-index queries2022-04-11Paper
https://portal.mardi4nfdi.de/entity/Q51556902021-10-08Paper
https://portal.mardi4nfdi.de/entity/Q50094222021-08-04Paper
https://portal.mardi4nfdi.de/entity/Q49993122021-07-06Paper
https://portal.mardi4nfdi.de/entity/Q49865112021-04-27Paper
https://portal.mardi4nfdi.de/entity/Q51363342020-11-25Paper
https://portal.mardi4nfdi.de/entity/Q51363352020-11-25Paper
https://portal.mardi4nfdi.de/entity/Q51116172020-05-27Paper
Non-deterministic weighted automata evaluated over Markov chains2019-11-29Paper
Quantitative Automata under Probabilistic Semantics2019-08-13Paper
Satisfiability versus Finite Satisfiability in Elementary Modal Logics2019-01-17Paper
Quantitative monitor automata2018-08-27Paper
Nested Weighted Automata2018-04-23Paper
The Target Discounted-Sum Problem2018-04-23Paper
Quantitative Automata under Probabilistic Semantics2018-04-23Paper
Nested Weighted Automata2018-03-22Paper
https://portal.mardi4nfdi.de/entity/Q46085832018-03-21Paper
https://portal.mardi4nfdi.de/entity/Q53670622017-10-12Paper
On the Decidability of Elementary Modal Logics2017-07-12Paper
Decidable Elementary Modal Logics2017-05-16Paper
Model measuring for hybrid systems2017-05-16Paper
Quantitative fair simulation games2017-05-12Paper
https://portal.mardi4nfdi.de/entity/Q29785332017-04-25Paper
https://portal.mardi4nfdi.de/entity/Q29585452017-02-02Paper
Model measuring for discrete and hybrid systems2016-12-15Paper
Lipschitz Robustness of Timed I/O Systems2016-03-23Paper
Edit Distance for Pushdown Automata2015-11-04Paper
From Model Checking to Model Measuring2013-08-12Paper
https://portal.mardi4nfdi.de/entity/Q29116302012-08-31Paper
\(E\)-unification with constants vs. general \(E\)-unification2012-07-31Paper
Logic for Programming, Artificial Intelligence, and Reasoning2005-11-10Paper

Research outcomes over time


Doctoral students

No records found.


Known relations from the MaRDI Knowledge Graph

PropertyValue
MaRDI profile typeMaRDI person profile
instance ofhuman


This page was built for person: Jan Otop