Althoff, Matthias, Stanley Bak, Marcelo Forets, Goran Frehse, Niklas Kochdumper, Rajarshi Ray, Christian Schilling, and Stefan Schupp. “ARCH-COM Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics.”https://doi.org/10.29007/bj1w__In EPiC Series in Computing, 61:14–40. EasyChair, 2019.https://doi.org/10.29007/bj1w .
LibreCat: https://research-explorer.ista.ac.at/record/8570
DOI: 10.29007/bj1w

Avni, Guy, Thomas A Henzinger, and Dorde Zikelic. “Bidding Mechanisms in Graph Games,”https://doi.org/10.4230/LIPICS.MFCS.2019.11__Vol. 138. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2019.https://doi.org/10.4230/LIPICS.MFCS.2019.11 .
LibreCat: https://research-explorer.ista.ac.at/record/6884
DOI: 10.4230/LIPICS.MFCS.2019.11
arXiv: 1905.03835

Christakis, Maria, Matthias Heizmann, Muhammad Numair Mansur, Christian Schilling, and Valentin Wüstholz. “Semantic Fault Localization and Suspiciousness Ranking.”https://doi.org/10.1007/978-3-030-17462-0_13__In 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems , 11427:226–43. Springer Nature, 2019.https://doi.org/10.1007/978-3-030-17462-0_13 .
LibreCat: https://research-explorer.ista.ac.at/record/6042
DOI: 10.1007/978-3-030-17462-0_13
WoS: 000681166500013

Bogomolov, Sergiy, Marcelo Forets, Goran Frehse, Kostiantyn Potomkin, and Christian Schilling. “JuliaReach: A Toolbox for Set-Based Reachability.”https://doi.org/10.1145/3302504.3311804__In Proceedings of the 22nd International Conference on Hybrid Systems: Computation and Control, 22:39–44. ACM, 2019.https://doi.org/10.1145/3302504.3311804 .
LibreCat: https://research-explorer.ista.ac.at/record/6035
DOI: 10.1145/3302504.3311804
WoS: 000516713900005
arXiv: 1901.10736

Ferrere, Thomas, Dejan Nickovic, Alexandre Donzé, Hisahiro Ito, and James Kapinski. “Interface-Aware Signal Temporal Logic.”https://doi.org/10.1145/3302504.3311800__In Proceedings of the 2019 22nd ACM International Conference on Hybrid Systems: Computation and Control, 57–66. ACM, 2019.https://doi.org/10.1145/3302504.3311800 .
LibreCat: https://research-explorer.ista.ac.at/record/6428
DOI: 10.1145/3302504.3311800
WoS: 000516713900007

Avni, Guy, Roderick Bloem, Krishnendu Chatterjee, Thomas A Henzinger, Bettina Konighofer, and Stefan Pranger. “Run-Time Optimization for Learned Controllers through Quantitative Games.”https://doi.org/10.1007/978-3-030-25540-4_36__In 31st International Conference on Computer-Aided Verification, 11561:630–49. Springer, 2019.https://doi.org/10.1007/978-3-030-25540-4_36 .
LibreCat: https://research-explorer.ista.ac.at/record/6462
DOI: 10.1007/978-3-030-25540-4_36
WoS: 000491468000036

Garcia Soto, Miriam, Thomas A Henzinger, Christian Schilling, and Luka Zeleznik. “Membership-Based Synthesis of Linear Hybrid Automata.”https://doi.org/10.1007/978-3-030-25540-4_16__In 31st International Conference on Computer-Aided Verification, 11561:297–314. Springer, 2019.https://doi.org/10.1007/978-3-030-25540-4_16 .
LibreCat: https://research-explorer.ista.ac.at/record/6493
DOI: 10.1007/978-3-030-25540-4_16
WoS: 000491468000016

Avni, Guy, Thomas A Henzinger, and Ventsislav K Chonev. “Infinite-Duration Bidding Games.”https://doi.org/10.1145/3340295__Journal of the ACM. ACM, 2019.https://doi.org/10.1145/3340295 .
LibreCat: https://research-explorer.ista.ac.at/record/6752
DOI: 10.1145/3340295
WoS: 000487714900008
arXiv: 1705.01433

Ferrere, Thomas, Oded Maler, Dejan Nidkovi, and Amir Pnueli. “From Real-Time Logic to Timed Automata.”https://doi.org/10.1145/3286976__Journal of the ACM. ACM, 2019.https://doi.org/10.1145/3286976 .
LibreCat: https://research-explorer.ista.ac.at/record/7109
DOI: 10.1145/3286976
WoS: 000495406300005

Guet, Calin C, Thomas A Henzinger, Claudia Igler, Tatjana Petrov, and Ali Sezgin. “Transient Memory in Gene Regulation.”https://doi.org/10.1007/978-3-030-31304-3_9__In 17th International Conference on Computational Methods in Systems Biology, 11773:155–87. Springer Nature, 2019.https://doi.org/10.1007/978-3-030-31304-3_9 .
LibreCat: https://research-explorer.ista.ac.at/record/7147
DOI: 10.1007/978-3-030-31304-3_9
WoS: 000557875100009

Nidkovi, Dejan, Xin Qin, Thomas Ferrere, Cristinel Mateis, and Jyotirmoy Deshmukh. “Shape Expressions for Specifying and Extracting Signal Features.”https://doi.org/10.1007/978-3-030-32079-9_17__In 19th International Conference on Runtime Verification, 11757:292–309. Springer Nature, 2019.https://doi.org/10.1007/978-3-030-32079-9_17 .
LibreCat: https://research-explorer.ista.ac.at/record/7159
DOI: 10.1007/978-3-030-32079-9_17
WoS: 000570006300017

Kong, Hui, Ezio Bartocci, Yu Jiang, and Thomas A Henzinger. “Piecewise Robust Barrier Tubes for Nonlinear Hybrid Systems with Uncertainty.”https://doi.org/10.1007/978-3-030-29662-9_8__In 17th International Conference on Formal Modeling and Analysis of Timed Systems, 11750:123–41. Springer Nature, 2019.https://doi.org/10.1007/978-3-030-29662-9_8 .
LibreCat: https://research-explorer.ista.ac.at/record/7231
DOI: 10.1007/978-3-030-29662-9_8
WoS: 000611677700008
arXiv: 1907.11514

Ferrere, Thomas, Oded Maler, and Dejan Nickovic. “Mixed-Time Signal Temporal Logic.”https://doi.org/10.1007/978-3-030-29662-9_4__In 17th International Conference on Formal Modeling and Analysis of Timed Systems, 11750:59–75. Springer Nature, 2019.https://doi.org/10.1007/978-3-030-29662-9_4 .
LibreCat: https://research-explorer.ista.ac.at/record/7232
DOI: 10.1007/978-3-030-29662-9_4
WoS: 000611677700004

Giacobbe, Mirco. “Automatic Time-Unbounded Reachability Analysis of Hybrid Systems.”https://doi.org/10.15479/AT:ISTA:6894__Institute of Science and Technology Austria, 2019.https://doi.org/10.15479/AT:ISTA:6894 .
LibreCat: https://research-explorer.ista.ac.at/record/6894
DOI: 10.15479/AT:ISTA:6894

Clarke, Edmund M., Thomas A Henzinger, Helmut Veith, and Roderick Bloem. Handbook of Model Checking. 1st ed. Cham: Springer Nature, 2018.https://doi.org/10.1007/978-3-319-10575-8 .
LibreCat: https://research-explorer.ista.ac.at/record/3300
DOI: 10.1007/978-3-319-10575-8

Clarke, Edmund, Thomas A Henzinger, and Helmut Veith. “Introduction to Model Checking.”https://doi.org/10.1007/978-3-319-10575-8_1__In Handbook of Model Checking, edited by Thomas A Henzinger, 1–26. Handbook of Model Checking. Springer, 2018.https://doi.org/10.1007/978-3-319-10575-8_1 .
LibreCat: https://research-explorer.ista.ac.at/record/60
DOI: 10.1007/978-3-319-10575-8_1

Chatterjee, Krishnendu, Thomas A Henzinger, and Jan Otop. “Computing Average Response Time.”https://doi.org/10.1007/978-3-319-95246-8_9__In Principles of Modeling, edited by Marten Lohstroh, Patricia Derler, and Marjan Sirjani, 10760:143–61. Springer, 2018.https://doi.org/10.1007/978-3-319-95246-8_9 .
LibreCat: https://research-explorer.ista.ac.at/record/86
DOI: 10.1007/978-3-319-95246-8_9

Avni, Guy, Shibashis Guha, and Orna Kupferman. “Timed Network Games with Clocks,”https://doi.org/10.4230/LIPICS.MFCS.2018.23__Vol. 117. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2018.https://doi.org/10.4230/LIPICS.MFCS.2018.23 .
LibreCat: https://research-explorer.ista.ac.at/record/6005
DOI: 10.4230/LIPICS.MFCS.2018.23

Kragl, Bernhard, Shaz Qadeer, and Thomas A Henzinger. “Synchronizing the Asynchronous,”https://doi.org/10.4230/LIPIcs.CONCUR.2018.21__Vol. 118. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2018.https://doi.org/10.4230/LIPIcs.CONCUR.2018.21 .
LibreCat: https://research-explorer.ista.ac.at/record/133
DOI: 10.4230/LIPIcs.CONCUR.2018.21

Nickovic, Dejan, Olivier Lebeltel, Oded Maler, Thomas Ferrere, and Dogan Ulus. “AMT 2.0: Qualitative and Quantitative Trace Analysis with Extended Signal Temporal Logic.”https://doi.org/10.1007/978-3-319-89963-3_18__edited by Dirk Beyer and Marieke Huisman, 10806:303–19. Springer, 2018.https://doi.org/10.1007/978-3-319-89963-3_18 .
LibreCat: https://research-explorer.ista.ac.at/record/299
DOI: 10.1007/978-3-319-89963-3_18
WoS: 00445822600018

Ferrere, Thomas, Thomas A Henzinger, and Ege Saraç. “A Theory of Register Monitors,”https://doi.org/10.1145/3209108.3209194__Part 8033:394–403. IEEE, 2018.https://doi.org/10.1145/3209108.3209194 .
LibreCat: https://research-explorer.ista.ac.at/record/144
DOI: 10.1145/3209108.3209194
WoS: 000545262800041

Bakhirkin, Alexey, Thomas Ferrere, and Oded Maler. “Efficient Parametric Identification for STL.”https://doi.org/10.1145/3178126.3178132__In Proceedings of the 21st International Conference on Hybrid Systems, 177–86. ACM, 2018.https://doi.org/10.1145/3178126.3178132 .
LibreCat: https://research-explorer.ista.ac.at/record/182
DOI: 10.1145/3178126.3178132
WoS: 000474781600020

Avni, Guy, Thomas A Henzinger, and Rasmus Ibsen-Jensen. “Infinite-Duration Poorman-Bidding Games,”https://doi.org/10.1007/978-3-030-04612-5_2__11316:21–36. Springer, 2018.https://doi.org/10.1007/978-3-030-04612-5_2 .
LibreCat: https://research-explorer.ista.ac.at/record/5788
DOI: 10.1007/978-3-030-04612-5_2
WoS: 000865933000002
arXiv: 1804.04372

Kragl, Bernhard, and Shaz Qadeer. “Layered Concurrent Programs,”https://doi.org/10.1007/978-3-319-96145-3_5__10981:79–102. Springer, 2018.https://doi.org/10.1007/978-3-319-96145-3_5 .
LibreCat: https://research-explorer.ista.ac.at/record/160
DOI: 10.1007/978-3-319-96145-3_5
WoS: 000491481600005

Bartocci, Ezio, Thomas Ferrere, Niveditha Manjunath, and Dejan Nickovic. “Localizing Faults in Simulink/Stateflow Models with STL,”https://doi.org/10.1145/3178126.3178131__197–206. Association for Computing Machinery, Inc, 2018.https://doi.org/10.1145/3178126.3178131 .
LibreCat: https://research-explorer.ista.ac.at/record/183
DOI: 10.1145/3178126.3178131
WoS: 000474781600022

Elgyütt, Adrian, Thomas Ferrere, and Thomas A Henzinger. “Monitoring Temporal Logic with Clock Variables,”https://doi.org/10.1007/978-3-030-00151-3_4__11022:53–70. Springer, 2018.https://doi.org/10.1007/978-3-030-00151-3_4 .
LibreCat: https://research-explorer.ista.ac.at/record/81
DOI: 10.1007/978-3-030-00151-3_4
WoS: 000884993200004

Bakhirkin, Alexey, Thomas Ferrere, Dejan Nickovic, Oded Maler, and Eugene Asarin. “Online Timed Pattern Matching Using Automata,”https://doi.org/10.1007/978-3-030-00151-3_13__11022:215–32. Springer, 2018.https://doi.org/10.1007/978-3-030-00151-3_13 .
LibreCat: https://research-explorer.ista.ac.at/record/78
DOI: 10.1007/978-3-030-00151-3_13
WoS: 000884993200013

Arming, Sebastian, Ezio Bartocci, Krishnendu Chatterjee, Joost P Katoen, and Ana Sokolova. “Parameter-Independent Strategies for PMDPs via POMDPs,”https://doi.org/10.1007/978-3-319-99154-2_4__11024:53–70. Springer, 2018.https://doi.org/10.1007/978-3-319-99154-2_4 .
LibreCat: https://research-explorer.ista.ac.at/record/79
DOI: 10.1007/978-3-319-99154-2_4
WoS: 000548912200004
arXiv: 1806.05126

Kong, Hui, Ezio Bartocci, and Thomas A Henzinger. “Reachable Set Over-Approximation for Nonlinear Systems Using Piecewise Barrier Tubes,”https://doi.org/10.1007/978-3-319-96145-3_24__10981:449–67. Springer, 2018.https://doi.org/10.1007/978-3-319-96145-3_24 .
LibreCat: https://research-explorer.ista.ac.at/record/142
DOI: 10.1007/978-3-319-96145-3_24
WoS: 000491481600024

Jiang, Yu, Han Liu, Huobing Song, Hui Kong, Rui Wang, Yong Guan, and Lui Sha. “Safety-Assured Model-Driven Design of the Multifunction Vehicle Bus Controller.”https://doi.org/10.1109/TITS.2017.2778077__IEEE Transactions on Intelligent Transportation Systems. IEEE, 2018.https://doi.org/10.1109/TITS.2017.2778077 .
LibreCat: https://research-explorer.ista.ac.at/record/434
DOI: 10.1109/TITS.2017.2778077
WoS: 000446651100020

Frehse, Goran, Mirco Giacobbe, and Thomas A Henzinger. “Space-Time Interpolants,”https://doi.org/10.1007/978-3-319-96145-3_25__10981:468–86. Springer, 2018.https://doi.org/10.1007/978-3-319-96145-3_25 .
LibreCat: https://research-explorer.ista.ac.at/record/140
DOI: 10.1007/978-3-319-96145-3_25
WoS: 000491481600025

Brázdil, Tomás, Krishnendu Chatterjee, Jan Kretinsky, and Viktor Toman. “Strategy Representation by Decision Trees in Reactive Synthesis,”https://doi.org/10.1007/978-3-319-89960-2_21__10805:385–407. Springer, 2018.https://doi.org/10.1007/978-3-319-89960-2_21 .
LibreCat: https://research-explorer.ista.ac.at/record/297
DOI: 10.1007/978-3-319-89960-2_21
WoS: 000546326300021

Avni, Guy, and Orna Kupferman. “Synthesis from Component Libraries with Costs.”https://doi.org/10.1016/j.tcs.2017.11.001__Theoretical Computer Science. Elsevier, 2018.https://doi.org/10.1016/j.tcs.2017.11.001 .
LibreCat: https://research-explorer.ista.ac.at/record/608
DOI: 10.1016/j.tcs.2017.11.001
WoS: 000424959200003

Ferrere, Thomas. “The Compound Interest in Relaxing Punctuality,”https://doi.org/10.1007/978-3-319-95582-7_9__10951:147–64. Springer, 2018.https://doi.org/10.1007/978-3-319-95582-7_9 .
LibreCat: https://research-explorer.ista.ac.at/record/156
DOI: 10.1007/978-3-319-95582-7_9
WoS: 000489765800009

Bakhirkin, Alexey, Thomas Ferrere, Thomas A Henzinger, and Deian Nickovicl. “Keynote: The First-Order Logic of Signals.”https://doi.org/10.1109/emsoft.2018.8537203__In 2018 International Conference on Embedded Software, 1–10. IEEE, 2018.https://doi.org/10.1109/emsoft.2018.8537203 .
LibreCat: https://research-explorer.ista.ac.at/record/5959
DOI: 10.1109/emsoft.2018.8537203
WoS: 000492828500005

Chatterjee, Krishnendu, Adrian Elgyütt, Petr Novotný, and Owen Rouillé. “Expectation Optimization with Probabilistic Guarantees in POMDPs with Discounted-Sum Objectives,”https://doi.org/10.24963/ijcai.2018/652__2018:4692–99. IJCAI, 2018.https://doi.org/10.24963/ijcai.2018/652 .
LibreCat: https://research-explorer.ista.ac.at/record/24
DOI: 10.24963/ijcai.2018/652
WoS: 000764175404117
arXiv: 1804.10601

Avni, Guy, Shibashis Guha, and Orna Kupferman. “An Abstraction-Refinement Methodology for Reasoning about Network Games.”https://doi.org/10.3390/g9030039__Games. MDPI AG, 2018.https://doi.org/10.3390/g9030039 .
LibreCat: https://research-explorer.ista.ac.at/record/6006
DOI: 10.3390/g9030039

Benveniste, Albert, Dejan Nickovic, Benoît Caillaud, Roberto Passerone, Jean Baptiste Raclet, Philipp Reinkemeier, Alberto Sangiovanni-Vincentelli, Werner Damm, Thomas A Henzinger, and Kim G. Larsen. “Contracts for System Design.”https://doi.org/10.1561/1000000053__Foundations and Trends in Electronic Design Automation. Now Publishers, 2018.https://doi.org/10.1561/1000000053 .
LibreCat: https://research-explorer.ista.ac.at/record/5677
DOI: 10.1561/1000000053

Mciver, Annabelle, Carroll Morgan, Benjamin Lucien Kaminski, and Joost P Katoen. “A New Proof Rule for Almost-Sure Termination.”https://doi.org/10.1145/3158121__Proceedings of the ACM on Programming Languages. Association for Computing Machinery, 2017.https://doi.org/10.1145/3158121 .
LibreCat: https://research-explorer.ista.ac.at/record/10418
DOI: 10.1145/3158121
arXiv: 1711.03588

Daca, Przemyslaw, Thomas A Henzinger, Jan Kretinsky, and Tatjana Petrov. “Faster Statistical Model Checking for Unbounded Temporal Properties.”https://doi.org/10.1145/3060139__ACM Transactions on Computational Logic (TOCL). ACM, 2017.https://doi.org/10.1145/3060139 .
LibreCat: https://research-explorer.ista.ac.at/record/471
DOI: 10.1145/3060139

Chatterjee, Krishnendu, Thomas A Henzinger, and Jan Otop. “Nested Weighted Automata.”https://doi.org/10.1145/3152769__ACM Transactions on Computational Logic (TOCL). ACM, 2017.https://doi.org/10.1145/3152769 .
LibreCat: https://research-explorer.ista.ac.at/record/467
DOI: 10.1145/3152769
arXiv: 1606.03598

Chatterjee, Krishnendu, Thomas A Henzinger, Rasmus Ibsen-Jensen, and Jan Otop. “Edit Distance for Pushdown Automata.”https://doi.org/10.23638/LMCS-13(3:23)2017__Logical Methods in Computer Science. International Federation of Computational Logic, 2017.https://doi.org/10.23638/LMCS-13(3:23)2017 .
LibreCat: https://research-explorer.ista.ac.at/record/465
DOI: 10.23638/LMCS-13(3:23)2017

Chatterjee, Krishnendu, Laurent Doyen, and Thomas A Henzinger. “The Cost of Exactness in Quantitative Reachability.”https://doi.org/10.1007/978-3-319-63121-9_18__In Models, Algorithms, Logics and Tools, edited by Luca Aceto, Giorgio Bacci, Anna Ingólfsdóttir, Axel Legay, and Radu Mardare, 10460:367–81. Theoretical Computer Science and General Issues. Springer, 2017.https://doi.org/10.1007/978-3-319-63121-9_18 .
LibreCat: https://research-explorer.ista.ac.at/record/625
DOI: 10.1007/978-3-319-63121-9_18

Bak, Stanley, Sergiy Bogomolov, Thomas A Henzinger, and Aviral Kumar. “Challenges and Tool Implementation of Hybrid Rapidly Exploring Random Trees.”https://doi.org/10.1007/978-3-319-63501-9_6__edited by Alessandro Abate and Sylvie Bodo, 10381:83–89. Springer, 2017.https://doi.org/10.1007/978-3-319-63501-9_6 .
LibreCat: https://research-explorer.ista.ac.at/record/633
DOI: 10.1007/978-3-319-63501-9_6

Bakhirkin, Alexey, Thomas Ferrere, Oded Maler, and Dogan Ulus. “On the Quantitative Semantics of Regular Expressions over Real-Valued Signals.”https://doi.org/10.1007/978-3-319-65765-3_11__edited by Alessandro Abate and Gilles Geeraerts, 10419:189–206. Springer, 2017.https://doi.org/10.1007/978-3-319-65765-3_11 .
LibreCat: https://research-explorer.ista.ac.at/record/636
DOI: 10.1007/978-3-319-65765-3_11

Bogomolov, Sergiy, Matthieu Martel, and Pavithra Prabhakar, eds. Numerical Software Verification. Vol. 10152. LNCS. Springer, 2017.https://doi.org/10.1007/978-3-319-54292-8 .
LibreCat: https://research-explorer.ista.ac.at/record/638
DOI: 10.1007/978-3-319-54292-8

Henzinger, Thomas A, Bernhard Kragl, and Shaz Qadeer. Synchronizing the Asynchronous. IST Austria, 2017.https://doi.org/10.15479/AT:IST-2018-853-v2-2 .
LibreCat: https://research-explorer.ista.ac.at/record/6426
DOI: 10.15479/AT:IST-2018-853-v2-2

Kong, Hui, Sergiy Bogomolov, Christian Schilling, Yu Jiang, and Thomas A Henzinger. “Safety Verification of Nonlinear Hybrid Systems Based on Invariant Clusters.”https://doi.org/10.1145/3049797.3049814__In Proceedings of the 20th International Conference on Hybrid Systems, 163–72. ACM, 2017.https://doi.org/10.1145/3049797.3049814 .
LibreCat: https://research-explorer.ista.ac.at/record/663
DOI: 10.1145/3049797.3049814

Chatterjee, Krishnendu, Thomas A Henzinger, and Jan Otop. “Bidirectional Nested Weighted Automata,”https://doi.org/10.4230/LIPIcs.CONCUR.2017.5__Vol. 85. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2017.https://doi.org/10.4230/LIPIcs.CONCUR.2017.5 .
LibreCat: https://research-explorer.ista.ac.at/record/711
DOI: 10.4230/LIPIcs.CONCUR.2017.5

Avni, Guy, Shibashis Guha, and Orna Kupferman. “Timed Network Games with Clocks,”https://doi.org/10.4230/LIPIcs.MFCS.2017.37__Vol. 83. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2017.https://doi.org/10.4230/LIPIcs.MFCS.2017.37 .
LibreCat: https://research-explorer.ista.ac.at/record/963
DOI: 10.4230/LIPIcs.MFCS.2017.37