Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Jan Otop
81  Ergebnisse:
Personensuche X
?
1

Deterministic Weighted Automata Under Partial Observability:

, In: Logics in Artificial Intelligence; Lecture Notes in Computer Science,
Michaliszyn, Jakub ; Otop, Jan - p. 771-784 , 2023
Link: https://doi.org/10.1007/..
 
?
2

Learning infinite-word automata with loop-index queries:

Michaliszyn, Jakub ; Otop, Jan
Artificial Intelligence.  307 (2022)  - p. 103710 , 2022
Link: https://doi.org/10.1016/..
 
?
3

Modular Path Queries with Arithmetic:

Michaliszyn, Jakub ; Otop, Jan ; Wieczorek, Piotr
Logical Methods in Computer Science.  17, Issue 3 (2021)  - p. , 2021
Link: https://doi.org/10.46298..
 
?
4

Non-deterministic weighted automata evaluated over Markov c..:

Michaliszyn, Jakub ; Otop, Jan
Journal of Computer and System Sciences.  108 (2020)  - p. 118-136 , 2020
Link: https://doi.org/10.1016/..
 
?
5

Quantitative fair simulation games:

Chatterjee, Krishnendu ; Henzinger, Thomas A. ; Otop, Jan.
Information and Computation.  254 (2017)  - p. 143-166 , 2017
Link: https://doi.org/10.1016/..
 
?
6

Model measuring for discrete and hybrid systems:

Henzinger, Thomas A. ; Otop, Jan
Nonlinear Analysis: Hybrid Systems.  23 (2017)  - p. 166-190 , 2017
Link: https://doi.org/10.1016/..
 
?
7

Nested Weighted Automata:

Chatterjee, Krishnendu ; Henzinger, Thomas A. ; Otop, Jan
ACM Transactions on Computational Logic (TOCL).  18 (2017)  4 - p. 1-44 , 2017
Link: https://dl.acm.org/doi/1..
 
?
8

Nested Weighted Automata:

Chatterjee, Krishnendu ; Henzinger, Thomas A. ; Otop, Jan
ACM Transactions on Computational Logic.  18 (2017)  4 - p. 1-44 , 2017
Link: https://doi.org/10.1145/..
 
?
9

Quantitative Automata under Probabilistic Semantics:

, In: Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science,
Chatterjee, Krishnendu ; Henzinger, Thomas A. ; Otop, Jan - p. 76-85 , 2016
Link: https://dl.acm.org/doi/1..
 
?
10

On the Decidability of Elementary Modal Logics:

Michaliszyn, Jakub ; Otop, Jan ; Kieroński, Emanuel
ACM Transactions on Computational Logic.  17 (2015)  1 - p. 1-47 , 2015
Link: https://doi.org/10.1145/..
 
?
11

On the Decidability of Elementary Modal Logics:

Michaliszyn, Jakub ; Otop, Jan ; Kieroński, Emanuel
ACM Transactions on Computational Logic (TOCL).  17 (2015)  1 - p. 1-47 , 2015
Link: https://dl.acm.org/doi/1..
 
?
12

The Target Discounted-Sum Problem:

, In: Proceedings of the 2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS),
Boker, Udi ; Henzinger, Thomas A. ; Otop, Jan - p. 750-761 , 2015
Link: https://dl.acm.org/doi/1..
 
?
13

Nested Weighted Automata:

, In: Proceedings of the 2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS),
Chatterjee, Krishnendu ; Henzinger, Thomas A. ; Otop, Jan - p. 725-737 , 2015
Link: https://dl.acm.org/doi/1..
 
?
14

Model measuring for hybrid systems:

, In: Proceedings of the 17th international conference on Hybrid systems: computation and control,
Henzinger, Thomas A. ; Otop, Jan - p. 213-222 , 2014
Link: https://dl.acm.org/doi/1..
 
?
15

Decidable Elementary Modal Logics:

, In: Proceedings of the 2012 27th Annual IEEE/ACM Symposium on Logic in Computer Science,
Michaliszyn, Jakub ; Otop, Jan - p. 491-500 , 2012
Link: https://dl.acm.org/doi/1..
 
1-15