ISTA Research Explorer

Jan Otop

Henzinger_Thomas Group

26 Publications

[26]

2020 | Published | Conference Paper | IST-REx-ID: 8600 |

Chatterjee K, Henzinger TA, Otop J. Multi-dimensional long-run average problems for vector addition systems with states. In: 31st International Conference on Concurrency Theory. Vol 171. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2020. doi:10.4230/LIPIcs.CONCUR.2020.23

[Published Version] View | Files available | DOI | arXiv

[25]

2018 | Published | Book Chapter | IST-REx-ID: 86 |

Chatterjee K, Henzinger TA, Otop J. Computing average response time. In: Lohstroh M, Derler P, Sirjani M, eds. Principles of Modeling. Vol 10760. Springer; 2018:143-161. doi:10.1007/978-3-319-95246-8_9

[Submitted Version] View | Files available | DOI

[24]

2017 | Published | Journal Article | IST-REx-ID: 467 |

Chatterjee K, Henzinger TA, Otop J. Nested weighted automata. ACM Transactions on Computational Logic (TOCL). 2017;18(4). doi:10.1145/3152769

[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv

[23]

2017 | Published | Journal Article | IST-REx-ID: 1196

Henzinger TA, Otop J. Model measuring for discrete and hybrid systems. Nonlinear Analysis: Hybrid Systems. 2017;23:166-190. doi:10.1016/j.nahs.2016.09.001

View | DOI | WoS

[22]

2017 | Published | Journal Article | IST-REx-ID: 1066

Chatterjee K, Henzinger TA, Otop J, Velner Y. Quantitative fair simulation games. Information and Computation. 2017;254(2):143-166. doi:10.1016/j.ic.2016.10.006

View | Files available | DOI | WoS

[21]

2016 | Published | Conference Paper | IST-REx-ID: 1335 |

Chatterjee K, Henzinger TA, Otop J. Quantitative monitor automata. In: Vol 9837. Springer; 2016:23-38. doi:10.1007/978-3-662-53413-7_2

[Preprint] View | DOI | Download Preprint (ext.)

[20]

2016 | Published | Conference Paper | IST-REx-ID: 1138 |

Chatterjee K, Henzinger TA, Otop J. Quantitative automata under probabilistic semantics. In: Proceedings of the 31st Annual ACM/IEEE Symposium. IEEE; 2016:76-85. doi:10.1145/2933575.2933588

[Preprint] View | DOI | Download Preprint (ext.) | arXiv

[19]

2016 | Published | Conference Paper | IST-REx-ID: 1526 |

Henzinger TA, Otop J, Samanta R. Lipschitz robustness of timed I/O systems. In: Vol 9583. Springer; 2016:250-267. doi:10.1007/978-3-662-49122-5_12

[Preprint] View | DOI | Download Preprint (ext.)

[18]

2016 | Published | Conference Paper | IST-REx-ID: 1090 |

Chatterjee K, Henzinger TA, Otop J. Nested weighted limit-average automata of bounded width. In: Vol 58. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2016. doi:10.4230/LIPIcs.MFCS.2016.24

[Published Version] View | Files available | DOI

[17]

2015 | Published | Technical Report | IST-REx-ID: 5436 |

Chatterjee K, Henzinger TA, Otop J. Nested Weighted Automata. IST Austria; 2015. doi:10.15479/AT:IST-2015-170-v2-2

[Published Version] View | Files available | DOI

[16]

2015 | Published | Technical Report | IST-REx-ID: 5438 |

Chatterjee K, Henzinger TA, Ibsen-Jensen R, Otop J. Edit Distance for Pushdown Automata. IST Austria; 2015. doi:10.15479/AT:IST-2015-334-v1-1

[Published Version] View | Files available | DOI

[15]

2015 | Published | Technical Report | IST-REx-ID: 5439 |

Boker U, Henzinger TA, Otop J. The Target Discounted-Sum Problem. IST Austria; 2015. doi:10.15479/AT:IST-2015-335-v1-1

[Published Version] View | Files available | DOI

[14]

2015 | Published | Conference Paper | IST-REx-ID: 1610 |

Chatterjee K, Henzinger TA, Ibsen-Jensen R, Otop J. Edit distance for pushdown automata. In: 42nd International Colloquium. Vol 9135. Springer Nature; 2015:121-133. doi:10.1007/978-3-662-47666-6_10

View | Files available | DOI | Download None (ext.) | arXiv

[13]

2015 | Published | Conference Paper | IST-REx-ID: 1656

Chatterjee K, Henzinger TA, Otop J. Nested weighted automata. In: Proceedings - Symposium on Logic in Computer Science. Vol 2015-July. IEEE; 2015. doi:10.1109/LICS.2015.72

View | Files available | DOI | arXiv

[12]

2015 | Published | Conference Paper | IST-REx-ID: 1659 |

Boker U, Henzinger TA, Otop J. The target discounted-sum problem. In: LICS. Logic in Computer Science. IEEE; 2015:750-761. doi:10.1109/LICS.2015.74

[Submitted Version] View | Files available | DOI

[11]

2015 | Published | Journal Article | IST-REx-ID: 1680

Michaliszyn J, Otop J, Kieroňski E. On the decidability of elementary modal logics. ACM Transactions on Computational Logic. 2015;17(1). doi:10.1145/2817825

View | DOI

[10]

2014 | Published | Technical Report | IST-REx-ID: 5415 |

Chatterjee K, Henzinger TA, Otop J. Nested Weighted Automata. IST Austria; 2014. doi:10.15479/AT:IST-2014-170-v1-1

[Published Version] View | Files available | DOI

[9]

2014 | Published | Technical Report | IST-REx-ID: 5416 |

Henzinger TA, Otop J. Model Measuring for Hybrid Systems. IST Austria; 2014. doi:10.15479/AT:IST-2014-171-v1-1

[Published Version] View | Files available | DOI

[8]

2014 | Published | Technical Report | IST-REx-ID: 5417 |

Henzinger TA, Otop J. From Model Checking to Model Measuring. IST Austria; 2014. doi:10.15479/AT:IST-2014-172-v1-1

[Published Version] View | Files available | DOI

[7]

2014 | Published | Technical Report | IST-REx-ID: 5428 |

Chatterjee K, Henzinger TA, Otop J, Velner Y. Quantitative Fair Simulation Games. IST Austria; 2014. doi:10.15479/AT:IST-2014-315-v1-1

[Published Version] View | Files available | DOI

[6]

2014 | Published | Conference Paper | IST-REx-ID: 1870 |

Henzinger TA, Otop J, Samanta R. Lipschitz robustness of finite-state transducers. In: Leibniz International Proceedings in Informatics, LIPIcs. Vol 29. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2014:431-443. doi:10.4230/LIPIcs.FSTTCS.2014.431

[Published Version] View | Files available | DOI

[5]

2014 | Published | Conference Paper | IST-REx-ID: 2217

Henzinger TA, Otop J. Model measuring for hybrid systems. In: Proceedings of the 17th International Conference on Hybrid Systems: Computation and Control. Springer; 2014:213-222. doi:10.1145/2562059.2562130

View | Files available | DOI

[4]

2013 | Published | Technical Report | IST-REx-ID: 5406 |

Chatterjee K, Henzinger TA, Otop J, Pavlogiannis A. Distributed Synthesis for LTL Fragments. IST Austria; 2013. doi:10.15479/AT:IST-2013-130-v1-1

[Published Version] View | Files available | DOI

[3]

2013 | Published | Conference Paper | IST-REx-ID: 1376

Chatterjee K, Henzinger TA, Otop J, Pavlogiannis A. Distributed synthesis for LTL fragments. In: 13th International Conference on Formal Methods in Computer-Aided Design. IEEE; 2013:18-25. doi:10.1109/FMCAD.2013.6679386

View | Files available | DOI

[2]

2013 | Published | Conference Paper | IST-REx-ID: 2243 |

Michaliszyn J, Otop J. Elementary modal logics over transitive structures. 2013;23:563-577. doi:10.4230/LIPIcs.CSL.2013.563

[Published Version] View | Files available | DOI

[1]

2013 | Published | Conference Paper | IST-REx-ID: 2327 |

Henzinger TA, Otop J. From model checking to model measuring. 2013;8052:273-287. doi:10.1007/978-3-642-40184-8_20

[Submitted Version] View | Files available | DOI

Grants

26 Publications

Mark all

[26]

2020 | Published | Conference Paper | IST-REx-ID: 8600 |

[Published Version] View | Files available | DOI | arXiv

[25]

2018 | Published | Book Chapter | IST-REx-ID: 86 |

[Submitted Version] View | Files available | DOI

[24]

2017 | Published | Journal Article | IST-REx-ID: 467 |

Chatterjee K, Henzinger TA, Otop J. Nested weighted automata. ACM Transactions on Computational Logic (TOCL). 2017;18(4). doi:10.1145/3152769

[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv

[23]

2017 | Published | Journal Article | IST-REx-ID: 1196

Henzinger TA, Otop J. Model measuring for discrete and hybrid systems. Nonlinear Analysis: Hybrid Systems. 2017;23:166-190. doi:10.1016/j.nahs.2016.09.001

View | DOI | WoS

[22]

2017 | Published | Journal Article | IST-REx-ID: 1066

Chatterjee K, Henzinger TA, Otop J, Velner Y. Quantitative fair simulation games. Information and Computation. 2017;254(2):143-166. doi:10.1016/j.ic.2016.10.006

View | Files available | DOI | WoS

[21]

2016 | Published | Conference Paper | IST-REx-ID: 1335 |

Chatterjee K, Henzinger TA, Otop J. Quantitative monitor automata. In: Vol 9837. Springer; 2016:23-38. doi:10.1007/978-3-662-53413-7_2

[Preprint] View | DOI | Download Preprint (ext.)

[20]

2016 | Published | Conference Paper | IST-REx-ID: 1138 |

Chatterjee K, Henzinger TA, Otop J. Quantitative automata under probabilistic semantics. In: Proceedings of the 31st Annual ACM/IEEE Symposium. IEEE; 2016:76-85. doi:10.1145/2933575.2933588

[Preprint] View | DOI | Download Preprint (ext.) | arXiv

[19]

2016 | Published | Conference Paper | IST-REx-ID: 1526 |

Henzinger TA, Otop J, Samanta R. Lipschitz robustness of timed I/O systems. In: Vol 9583. Springer; 2016:250-267. doi:10.1007/978-3-662-49122-5_12

[Preprint] View | DOI | Download Preprint (ext.)

[18]

2016 | Published | Conference Paper | IST-REx-ID: 1090 |

Chatterjee K, Henzinger TA, Otop J. Nested weighted limit-average automata of bounded width. In: Vol 58. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2016. doi:10.4230/LIPIcs.MFCS.2016.24

[Published Version] View | Files available | DOI

[17]

2015 | Published | Technical Report | IST-REx-ID: 5436 |

Chatterjee K, Henzinger TA, Otop J. Nested Weighted Automata. IST Austria; 2015. doi:10.15479/AT:IST-2015-170-v2-2

[Published Version] View | Files available | DOI

[16]

2015 | Published | Technical Report | IST-REx-ID: 5438 |

Chatterjee K, Henzinger TA, Ibsen-Jensen R, Otop J. Edit Distance for Pushdown Automata. IST Austria; 2015. doi:10.15479/AT:IST-2015-334-v1-1

[Published Version] View | Files available | DOI

[15]

2015 | Published | Technical Report | IST-REx-ID: 5439 |

Boker U, Henzinger TA, Otop J. The Target Discounted-Sum Problem. IST Austria; 2015. doi:10.15479/AT:IST-2015-335-v1-1

[Published Version] View | Files available | DOI

[14]

2015 | Published | Conference Paper | IST-REx-ID: 1610 |

Chatterjee K, Henzinger TA, Ibsen-Jensen R, Otop J. Edit distance for pushdown automata. In: 42nd International Colloquium. Vol 9135. Springer Nature; 2015:121-133. doi:10.1007/978-3-662-47666-6_10

View | Files available | DOI | Download None (ext.) | arXiv

[13]

2015 | Published | Conference Paper | IST-REx-ID: 1656

Chatterjee K, Henzinger TA, Otop J. Nested weighted automata. In: Proceedings - Symposium on Logic in Computer Science. Vol 2015-July. IEEE; 2015. doi:10.1109/LICS.2015.72

View | Files available | DOI | arXiv

[12]

2015 | Published | Conference Paper | IST-REx-ID: 1659 |

Boker U, Henzinger TA, Otop J. The target discounted-sum problem. In: LICS. Logic in Computer Science. IEEE; 2015:750-761. doi:10.1109/LICS.2015.74

[Submitted Version] View | Files available | DOI

[11]

2015 | Published | Journal Article | IST-REx-ID: 1680

Michaliszyn J, Otop J, Kieroňski E. On the decidability of elementary modal logics. ACM Transactions on Computational Logic. 2015;17(1). doi:10.1145/2817825

View | DOI

[10]

2014 | Published | Technical Report | IST-REx-ID: 5415 |

Chatterjee K, Henzinger TA, Otop J. Nested Weighted Automata. IST Austria; 2014. doi:10.15479/AT:IST-2014-170-v1-1

[Published Version] View | Files available | DOI

[9]

2014 | Published | Technical Report | IST-REx-ID: 5416 |

Henzinger TA, Otop J. Model Measuring for Hybrid Systems. IST Austria; 2014. doi:10.15479/AT:IST-2014-171-v1-1

[Published Version] View | Files available | DOI

[8]

2014 | Published | Technical Report | IST-REx-ID: 5417 |

Henzinger TA, Otop J. From Model Checking to Model Measuring. IST Austria; 2014. doi:10.15479/AT:IST-2014-172-v1-1

[Published Version] View | Files available | DOI

[7]

2014 | Published | Technical Report | IST-REx-ID: 5428 |

Chatterjee K, Henzinger TA, Otop J, Velner Y. Quantitative Fair Simulation Games. IST Austria; 2014. doi:10.15479/AT:IST-2014-315-v1-1

[Published Version] View | Files available | DOI

[6]

2014 | Published | Conference Paper | IST-REx-ID: 1870 |

[Published Version] View | Files available | DOI

[5]

2014 | Published | Conference Paper | IST-REx-ID: 2217

View | Files available | DOI

[4]

2013 | Published | Technical Report | IST-REx-ID: 5406 |

Chatterjee K, Henzinger TA, Otop J, Pavlogiannis A. Distributed Synthesis for LTL Fragments. IST Austria; 2013. doi:10.15479/AT:IST-2013-130-v1-1

[Published Version] View | Files available | DOI

[3]

2013 | Published | Conference Paper | IST-REx-ID: 1376

View | Files available | DOI

[2]

2013 | Published | Conference Paper | IST-REx-ID: 2243 |

Michaliszyn J, Otop J. Elementary modal logics over transitive structures. 2013;23:563-577. doi:10.4230/LIPIcs.CSL.2013.563

[Published Version] View | Files available | DOI

[1]

2013 | Published | Conference Paper | IST-REx-ID: 2327 |

Henzinger TA, Otop J. From model checking to model measuring. 2013;8052:273-287. doi:10.1007/978-3-642-40184-8_20

[Submitted Version] View | Files available | DOI

Jan Otop

26 Publications

Search

Filter Publications

Display / Sort

Export / Embed

Grants

26 Publications

Search

Filter Publications

Display / Sort

Export / Embed

Jan Otop

26 Publications

Search

Filter Publications

Display / Sort

Export / Embed

Export Options

Grants

26 Publications

Search

Filter Publications

Display / Sort

Export / Embed

Export Options