Publications
[1] |
Xiao Wang, Hanna Krasowski, and Matthias Althoff
CommonRoad-RL: A Configurable Reinforcement Learning Environment for Motion Planning of Autonomous Vehicles 24rd IEEE International Conference on Intelligent Transportation Systems (ITSC 2021), pages 466–472. IEEE, September 2021. [ DOI | pdf | code | url ] |
[2] |
Javier Esparza, Stefan Kiefer, Jan Kretínský, and Maximilian
Weininger
Enforcing ω-Regular Properties in Markov Chains by Restarting 32nd International Conference on Concurrency Theory (CONCUR 2021), volume 203 of LIPIcs, pages 5:1–5:22. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, August 2021. [ DOI | pdf | url ] |
[3] |
Kush Grover, Fernando S Barbosa, Jana Tumova, and Jan Kretínský
Semantic Abstraction-Guided Motion Planning for scLTL Missions in Unknown Environments Conference on Robotics-Science and Systems (RSS 2021), Virtual, July 2021. RSS Foundation-Robotics Science & Systems Foundation. [ DOI | pdf | url ] |
[4] |
Hanna Krasowski and Matthias Althoff
Temporal Logic Formalization of Marine Traffic Rules 32nd IEEE Intelligent Vehicles Symposium (IV 2021), pages 186–192. IEEE, July 2021. [ DOI | pdf | code ] |
[5] |
Katharina Kreuzer and Manuel Eberl
Van der Waerden's Theorem Archive of Formal Proofs, June 2021. [ url ] |
[6] |
Niloofar Jahanshahi, Pushpak Jagtap, and Majid Zamani
Synthesis of Partially Observed Jump-Diffusion Systems via Control Barrier Functions IEEE Control Systems Letter, 5(1):253–258, June 2021. [ DOI | url ] |
[7] |
Mark Wetzlinger, Adrian Kulmburg, and Matthias Althoff
Adaptive Parameter Tuning for Reachability Analysis of Nonlinear Systems HSCC '21: 24th ACM International Conference on Hybrid Systems: Computation and Control, Nashville, Tennessee, May 19-21, 2021, pages 16:1–16:11. ACM, May 2021. [ DOI | pdf | code | url ] |
[8] |
Mahathi Anand, Vishnu Murali, Ashutosh Trivedi, and Majid Zamani
Verification of Hyperproperties for Uncertain Dynamical Systems via Barrier Certificates, May 2021. [ preprint ] |
[9] |
Mahathi Anand, Vishnu Murali, Ashutosh Trivedi, and Majid Zamani
Formal Verification of Hyperproperties for Control Systems Workshop on Computation-Aware Algorithmic Design for Cyber-Physical Systems, CAADCPS '21, page 29–30. ACM, May 2021. [ DOI ] |
[10] |
Mahathi Anand, Abolfazl Lavaei, and Majid Zamani
Compositional Synthesis of Control Barrier Certificates for Networks of Stochastic Systems against ω-Regular Specifications, March 2021. [ preprint ] |
[11] |
Niloofar Jahanshahi, Abolfazl Lavaei, and Majid Zamani
Compositional Construction of Safety Controllers for Networks of Continuous-Space POMDPs CoRR, abs/2103.05906, March 2021. [ preprint ] |
[12] |
Mahathi Anand, Abolfazl Lavaei, and Majid Zamani
From Small-Gain Theory to Compositional Construction of Barrier Certificates for Large-Scale Stochastic Systems, January 2021. [ preprint ] |
[13] |
Vahid Hashemi, Jan Křetínský, Stefanie Mohr, and Emmanouil
Seferis
Gaussian-Based Runtime Detection of Out-of-distribution Inputs for Neural Networks Runtime Verification, pages 254–264, Cham, 2021. Springer International Publishing. [ DOI | pdf ] |
[14] |
Stefanie Mohr, Konstantina Drainas, and Juergen Geist
Assessment of Neural Networks for Stream-Water-Temperature Prediction CoRR, abs/2110.04254, 2021. [ preprint ] |
[15] |
Michael Schwarz, Simmo Saan, Helmut Seidl, Kalmer Apinis, Julian Erhard, and
Vesal Vojdani
Improving Thread-Modular Abstract Interpretation 28th International Symposium on Static Analysis (SAS 2021), volume 12913 of LNCS, pages 359–383. Springer, 2021. [ DOI | code | preprint ] |
[16] |
Simmo Saan, Michael Schwarz, Kalmer Apinis, Julian Erhard, Helmut Seidl, Ralf
Vogler, and Vesal Vojdani
Goblint: Thread-Modular Abstract Interpretation Using Side-Effecting Constraints - (Competition Contribution) 27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2021), volume 12652 of LNCS, pages 438–442. Springer, 2021. [ DOI ] |
[17] |
Philipp Czerner, Roland Guttenberg, Martin Helfrich, and Javier Esparza
Decision Power of Weak Asynchronous Models of Distributed Computing 40th ACM Symposium on Principles of Distributed Computing (PODC 2021), pages 115–125. ACM, 2021. [ DOI | pdf ] |
[18] |
Philipp Czerner and Javier Esparza
Lower Bounds on the State Complexity of Population Protocols 40th ACM Symposium on Principles of Distributed Computing (PODC 2021), pages 45–54. ACM, 2021. [ DOI | pdf ] |
[19] |
Dirk Beyer
Software Verification: 10th Comparative Evaluation (SV-COMP 2021) 27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2021), LNCS 12652, pages 401–422. Springer, 2021. [ DOI | url ] |
[20] |
Daniel Baier, Dirk Beyer, and Karlheinz Friedberger
JavaSMT 3: Interacting with SMT Solvers in Java 33rd International Conference on Computer-Aided Verification (CAV 2021), LNCS 12760, pages 1–13. Springer, 2021. [ DOI | pdf | url ] |
[21] |
Dirk Beyer, Karlheinz Friedberger, and Stephan Holzner
PJBDD: A BDD Library for Java and Multi-Threading 19th International Symposium on Automated Technology for Verification and Analysis (ATVA21 2021). Springer, 2021. [ DOI | pdf ] |
[22] |
Philipp Czerner and Stefan Jaax
Running Time Analysis of Broadcast Consensus Protocols 24th International Conference on Foundations of Software Science and Computation Structures (FOSSACS 2021), volume 12650 of LNCS, pages 164–183. Springer, 2021. [ DOI | pdf | preprint | slides ] |
[23] |
Mark Wetzlinger, Niklas Kochdumper, and Matthias Althoff
Adaptive Parameter Tuning for Reachability Analysis of Linear Systems 59th IEEE Conference on Decision and Control (CDC), pages 5145–5152, December 2020. [ DOI | pdf | preprint ] |
[24] |
Dirk Beyer and Karlheinz Friedberger
Domain-Independent Interprocedural Program Analysis using Block-Abstraction Memoization 28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE 2020), pages 50–62. ACM, November 2020. [ DOI | pdf | preprint | url ] |
[25] |
Javier Esparza, Martin Helfrich, Stefan Jaax, and Philipp J. Meyer
Peregrine 2.0: Explaining Correctness of Population Protocols Through Stage Graphs 18th International Symposium on Automated Technology for Verification and Analysis (ATVA 2020), volume 12302 of LNCS, pages 550–556. Springer, October 2020. [ DOI | preprint | url ] |
[26] |
Michael Blondin, Javier Esparza, Martin Helfrich, Antonín Kucera, and
Philipp J. Meyer
Checking Qualitative Liveness Properties of Replicated Systems with Stochastic Scheduling 32nd International Conference on Computer Aided Verification (CAV 2020), volume 12225 of LNCS, pages 372–397. Springer, October 2020. [ DOI | preprint | url ] |
[27] |
Loris D'Antoni, Martin Helfrich, Jan Kretínský, Emanuel Ramneantu,
and Maximilian Weininger
Automata Tutor v3 32nd International Conference on Computer Aided Verification (CAV 2020), volume 12225 of LNCS, pages 3–14. Springer, October 2020. [ DOI | pdf | preprint | url ] |
[28] |
Pranav Ashok, Vahid Hashemi, Jan Kretínský, and Stefanie Mohr
DeepAbstract: Neural Network Abstraction for Accelerating Verification 18th International Symposium on Automated Technology for Verification and Analysis (ATVA 2020), volume 12302 of LNCS, pages 92–107. Springer, October 2020. [ DOI | preprint ] |
[29] |
Dirk Beyer, Marie-Christine Jakobs, and Thomas Lemberger
Difference Verification with Conditions 18th International Conference on Software Engineering and Formal Methods (SEFM 2020, LNCS 12310, pages 133–154. Springer, September 2020. [ DOI | pdf | slides | url ] |
[30] |
Mahathi Anand, Abolfazl Lavaei, and Majid Zamani
Compositional Construction of Control Barrier Certificates for Large-Scale Interconnected Stochastic Systems 21st IFAC World Congress, July 2020. |
[31] |
Niloofar Jahanshahi, Pushpak Jagtap, and Majid Zamani
Synthesis of Stochastic Systems with Partial Information via Control Barrier Functions 21st IFAC World Congress (IFAC-V 2020), July 2020. [ DOI | pdf ] |
[32] |
Dirk Beyer and Martin Spiessl
MetaVal: Witness Validation via Verification 32nd International Conference on Computer Aided Verification (CAV 2020), LNCS 12225, pages 165–177. Springer, July 2020. [ DOI | code ] |
[33] |
Michael Blondin, Javier Esparza, Blaise Genest, Martin Helfrich, and Stefan
Jaax
Succinct Population Protocols for Presburger Arithmetic 37th International Symposium on Theoretical Aspects of Computer Science (STACS 2020), volume 154 of LIPIcs, pages 40:1–40:15. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, March 2020. [ DOI | preprint | url ] |
[34] |
Helmut Seidl, Julian Erhard, and Ralf Vogler
Incremental Abstract Interpretation From Lambda Calculus to Cybersecurity Through Program Analysis - Essays Dedicated to Chris Hankin on the Occasion of His Retirement, volume 12065 of LNCS, pages 132–148. Springer, March 2020. [ DOI ] |
[35] |
Dirk Beyer and Sudeep Kanav
An Interface Theory for Program Verification 9th International Symposium on Leveraging Applications of Formal Methods, Verification, and Validation (ISoLA 2020), LNCS 12476, pages 168–186. Springer, 2020. [ DOI | slides | url ] |
[36] |
Dirk Beyer and Karlheinz Friedberger
Violation Witnesses and Result Validation for Multi-Threaded Programs 9th International Symposium on Leveraging Applications of Formal Methods, Verification, and Validation (ISoLA 2020), LNCS 12476, pages 449–470. Springer, 2020. [ DOI | slides | url ] |
[37] |
Hanna Krasowski, Xiao Wang, and Matthias Althoff
Safe Reinforcement Learning for Autonomous Lane Changing Using Set-Based Prediction 23rd IEEE International Conference on Intelligent Transportation Systems (ITSC 2020), pages 1–7, 2020. [ DOI | pdf ] |
[38] |
Mahathi Anand, Pushpak Jagtap, and Majid Zamani
Verification of Switched Stochastic Systems via Barrier Certificates 58th IEEE Conference on Decision and Control (CDC 2019), pages 4373–4378. IEEE, December 2019. [ DOI ] |
This file was generated by bibtex2html 1.99.