Aghajohari, Milad, Guy Avni, and Thomas A Henzinger. “Determinacy in Discrete-Bidding Infinite-Duration Games,”https://doi.org/10.4230/LIPICS.CONCUR.2019.20__Vol. 140. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2019.https://doi.org/10.4230/LIPICS.CONCUR.2019.20 .

Chatterjee, Krishnendu, Thomas A Henzinger, and Jan Otop. “Long-Run Average Behavior of Vector Addition Systems with States,”https://doi.org/10.4230/LIPICS.CONCUR.2019.27__Vol. 140. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2019.https://doi.org/10.4230/LIPICS.CONCUR.2019.27 .

Hasani, Ramin, Alexander Amini, Mathias Lechner, Felix Naser, Radu Grosu, and Daniela Rus. “Response Characterization for Auditing Cell Dynamics in Long Short-Term Memory Networks.”https://doi.org/10.1109/ijcnn.2019.8851954__In Proceedings of the International Joint Conference on Neural Networks. IEEE, 2019.https://doi.org/10.1109/ijcnn.2019.8851954 .

Alur, Rajeev, Mirco Giacobbe, Thomas A Henzinger, Kim G. Larsen, and Marius Mikudionis. “Continuous-Time Models for System Design and Analysis.”https://doi.org/10.1007/978-3-319-91908-9_22__In Computing and Software Science, edited by Bernhard Steffen and Gerhard Woeginger, 10000:452–77. LNCS. Springer Nature, 2019.https://doi.org/10.1007/978-3-319-91908-9_22 .

Immler, Fabian, Matthias Althoff, Luis Benet, Alexandre Chapoutot, Xin Chen, Marcelo Forets, Luca Geretti, Niklas Kochdumper, David P. Sanders, and Christian Schilling. “ARCH-COM Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics.”https://doi.org/10.29007/m75b__In EPiC Series in Computing, 61:41–61. EasyChair Publications, 2019.https://doi.org/10.29007/m75b .

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 .

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 .

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 .

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 .

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 .

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 .

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 .

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 .

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 .

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 .

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 .

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 .

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 .

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 .

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 .

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 .

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 .

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 .

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 .

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 .

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 .

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 .

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 .

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 .

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 .

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 .

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 .

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 .

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 .

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 .

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 .

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 .

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 .

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 .

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 .

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 .

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 .

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 .

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 .

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 .

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 .

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 .

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 .

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 .

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 .