Obserwuj
Jan Otop
Jan Otop
Zweryfikowany adres z cs.uni.wroc.pl - Strona główna
Tytuł
Cytowane przez
Cytowane przez
Rok
The target discounted-sum problem
U Boker, TA Henzinger, J Otop
2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science, 750-761, 2015
362015
Distributed synthesis for LTL fragments
K Chatterjee, TA Henzinger, J Otop, A Pavlogiannis
2013 Formal Methods in Computer-Aided Design, 18-25, 2013
332013
From model checking to model measuring
TA Henzinger, J Otop
International Conference on Concurrency Theory, 273-287, 2013
332013
Nested weighted automata
K Chatterjee, TA Henzinger, J Otop
ACM Transactions on Computational Logic (TOCL) 18 (4), 1-44, 2017
272017
Quantitative monitor automata
K Chatterjee, TA Henzinger, J Otop
International Static Analysis Symposium, 23-38, 2016
222016
Quantitative automata under probabilistic semantics
K Chatterjee, TA Henzinger, J Otop
Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer …, 2016
13*2016
Lipschitz robustness of finite-state transducers
TA Henzinger, J Otop, R Samanta
arXiv preprint arXiv:1404.6452, 2014
112014
Learning deterministic automata on infinite words
J Michaliszyn, J Otop
ECAI 2020, 2370-2377, 2020
102020
Edit distance for pushdown automata
K Chatterjee, TA Henzinger, R Ibsen-Jensen, J Otop
Logical Methods in Computer Science 13, 2017
102017
Model measuring for hybrid systems
TA Henzinger, J Otop
Proceedings of the 17th international conference on Hybrid systems …, 2014
92014
Decidable elementary modal logics
J Michaliszyn, J Otop
2012 27th Annual IEEE Symposium on Logic in Computer Science, 491-500, 2012
92012
Modal logics definable by universal three-variable formulas
E Kieronski, J Michaliszyn, J Otop
IARCS Annual Conference on Foundations of Software Technology and …, 2011
92011
Nested weighted limit-average automata of bounded width
K Chatterjee, TA Henzinger, J Otop
arXiv preprint arXiv:1606.03598, 2016
82016
Quantitative fair simulation games
K Chatterjee, TA Henzinger, J Otop, Y Velner
Information and Computation 254, 143-166, 2017
72017
Lipschitz robustness of timed I/O systems
TA Henzinger, J Otop, R Samanta
International Conference on Verification, Model Checking, and Abstract …, 2015
72015
Model measuring for discrete and hybrid systems
TA Henzinger, J Otop
Nonlinear Analysis: Hybrid Systems 23, 166-190, 2017
52017
Satisfiability vs. finite satisfiability in elementary modal logics
J Michaliszyn, J Otop, P Witkowski
arXiv preprint arXiv:1210.2481, 2012
52012
Learning infinite-word automata with loop-index queries
J Michaliszyn, J Otop
Artificial Intelligence 307, 103710, 2022
42022
Non-deterministic weighted automata evaluated over Markov chains
J Michaliszyn, J Otop
Journal of Computer and System Sciences 108, 118-136, 2020
42020
Approximate learning of limit-average automata
J Michaliszyn, J Otop
arXiv preprint arXiv:1906.11104, 2019
42019
Nie można teraz wykonać tej operacji. Spróbuj ponownie później.
Prace 1–20