Publications
| 2021 | |
|---|---|
| DOI Details | Gereon Kremer, Erika Ábrahám, Matthew England, and James H. Davenport. 2021. On the Implementation of Cylindrical Algebraic Coverings for Satisfiability Modulo Theories Solving. In 2021 23rd International Symposium on Symbolic and Numeric Algorithms for Scientific Computing : SYNASC 2021 : virtual conference, 7-10 December 2021. IEEE, Piscataway, NJ, 37–39. |
| 2020 | |
| DOI Details | Gereon Kremer and Erika Ábrahám. 2020. Fully Incremental Cylindrical Algebraic Decomposition. Journal of symbolic computation 100 (2020), 11–37. |
| DOI Details | Erika Ábrahám, James H. Davenport, Matthew England, and Gereon Kremer. 2020. Deciding the Consistency of Non-Linear Real Arithmetic Constraints with a Conflict Driven Search Using Cylindrical Algebraic Coverings. arXiv:2003.05633. |
| DOI Details | Rebecca Haehn, Erika Ábrahám, and Nils Nießen. 2020. Freight Train Scheduling in Railway Systems. In Measurement, modelling, and evaluation of computing systems : 20th International GI/ITG Conference, MMB 2020 : Saarbrücken, Germany, March 16-18, 2020 : proceedings (Lecture Notes in Computer Science, Vol. 12040). Springer, Cham, 225–241. |
| DOI Details | Erika Ábrahám, Ezio Bartocci, Borzoo Bonakdarpour, and Oyendrila Dobe. 2020. Parameter Synthesis for Probabilistic Hyperproperties. In [The 23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning, LPAR 2020] (EPiC Series in Computing, Vol. 73). 12–31. |
| DOI Details | Gereon Kremer. 2020. Cylindrical algebraic decomposition for nonlinear arithmetic problems. Ph.D. Dissertation. RWTH Aachen University, Aachen. |
| DOI Details | Rebecca Haehn, Erika Ábrahám, and Nils Nießen. 2020. Probabilistic Simulation of a Railway Timetable. In 20th Symposium on Algorithmic Approaches for Transportation Modelling, Optimization, and Systems : ATMOS 2020, September 7-8, 2020, Pisa, Italy (virtual conference) (OpenAccess Series in Informatics (OASIcs), Vol. 85). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Saarbrücken/Wadern, 16:1–16:14. |
| Details | Joost-Pieter Katoen, Martin Ritzert, Richard Marlon Wilke, Katrin M. Dannert, Peter Lindner, Dennis Fischer, Janosch Fuchs, Björn Frederik Tauer, Vipin Ravindran Vijayalakshmi, Laura Vargas Koch, Nadine Friesen, Andreas Gabriel Klinger, Marcel Tobias Hark, Benjamin Lucien Kaminski, Sebastian Junges, Jip Josephine Spel, Anton Pirogov, Stefan Schupp, Till Hofmann, Daxin Liu, Martin Comis, Tabea Claudia Krabs, Stephan Zieger, Rebecca Haehn, Matthias Volk, Norman Weik, and Helene-Maria Bolke-Hermanns. 2020. UnRAVeL Research Training Group : Uncertainty and Randomness in Algorithms, Verification, and Logic. Technical Report. Aachen. |
| DOI Details | Jasper Nalbach. 2020. A novel adaption of the Simplex algorithm for linear real arithmetic. Master's thesis. RWTH Aachen University, Aachen. |
| DOI Details | Erika Ábrahám, Ezio Bartocci, Borzoo Bonakdarpour, and Oyendrila Dobe. 2020. Probabilistic Hyperproperties with Nondeterminism. In Automated technology for verification and analysis : 18th international symposium, ATVA 2020, Hanoi, Vietnam, October 19-23, 2020 : proceedings (Lecture notes in computer science, Vol. 12302). Springer, Cham, Switzerland, 518–534. |
| DOI Details | Carina Pilch, Maurice Krause, Anne Remke, and Erika Ábrahám. 2020. A Transformation of Hybrid Petri Nets with Stochastic Firings into a Subclass of Stochastic Hybrid Automata. In NASA formal methods : 12th international symposium, NFM 2020, Moffett Field, CA, USA, May 11-15, 2020 : proceedings (Lecture notes in computer science, Vol. 12229). Springer, Cham, Switzerland, 381–400. |
| DOI Details | Erika Ábrahám, James Davenport, Matthew England, Gereon Kremer, and Zak Tonks. 2020. New Opportunities for the Formal Proof of Computational Real Geometry? (Extended Abstract). In PAAR+SC-Square 2020: Practical Aspects of Automated Reasoning and Satisfiability Checking and Symbolic Computation Workshop 2020 : joint proceedings of the 7th Workshop on Practical Aspects of Automated Reasoning (PAAR) and the 5th Satisfiability Checking and Symbolic Computation Workshop (SC-Square) Workshop, 2020 : co-located with the 10th International Joint Conference on Automated Reasoning (IJCAR 2020) : Paris, France, June-July, 2020 (virtual) (CEUR workshop proceedings, Vol. 2752). RWTH Aachen, Aachen, Germany, 178–188. |
| DOI Details | Erika Ábrahám, James Davenport, Matthew England, Gereon Kremer, and Zak Tonks. 2020. New Opportunities for the Formal Proof of Computational Real Geometry? arXiv:2004.04034. |
| 2019 | |
| DOI Details | Tim Andreas Reuscher, Lorenz Matthias Pyta, Thomas Konrad, Pascal Richter, and Dirk Abel. 2019. Proper Orthogonal Decomposition and Bilinear Lyapunov Control of Parabolic Trough Collectors. In The 27th Mediterranean Conference on Control and Automation : July 1-4, 2019, Palm Beach Hotel, Akko, Israel : proceedings. IEEE, Piscataway, NJ, 439–444. |
| DOI Details | Philipp Berger, Johanna Nellen, Joost-Pieter Katoen, Erika Ábrahám, Md Tawhid Bin Waez, and Thomas Rambow. 2019. Multiple Analyses, Requirements Once : Simplifying Testing and Verification in Automotive Model-Based Development. In Formal methods for industrial critical systems ; 24th international conference, FMICS 2019, Amsterdam, The Netherlands, August 30-31, 2019 : proceedings (Lecture notes in computer science, Vol. 11687). Springer, Cham, 59–75. |
| DOI Details | Dario Guidotti, Francesco Leofante, Armando Tacchella, and Claudio Castellini. 2019. Improving Reliability of Myocontrol Using Formal Verification. IEEE transactions on neural systems and rehabilitation engineering 27, 4 (2019), 564–571. |
| DOI Details | Dario Guidotti, Francesco Leofante, Claudio Castellini, and Armando Tacchella. 2019. Repairing Learned Controllers with Convex Optimization: A Case Study. In Integration of Constraint Programming, Artificial Intelligence, and Operations Research : 16th International Conference, CPAIOR 2019, Thessaloniki, Greece, June 4-7, 2019, Proceedings (Theoretical Computer Science and General Issues, Vol. 11494). Springer, Cham, 364–373. |
| DOI Details | Arthur Bit-Monnot, Francesco Leofante, Luca Pulina, and Armando Tacchella. 2019. SMT-based Planning for Robots in Smart Factories. In Advances and trends in artificial intelligence : from theory to practice : 32nd International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2019, Graz, Austria, July 9-11, 2019 : proceedings (Lecture notes in computer science, Vol. 11606). Springer, Cham, 674–686. |
| Details | Gereon Kremer, Erika Ábrahám, and Vijay Ganesh. 2019. On the Proof Complexity of MCSAT. In SC-square 2019 : Satisfiability Checking and Symbolic Computation 2019 : Proceedings of the 4th SC-Square Workshop co-located with the SIAM Conference on Applied Algebraic Geometry (SIAM AG 2019) : Bern, Switzerland, 10th July 2019 (CEUR workshop proceedings, Vol. 2460). RWTH-Aachen, Aachen, Germany, 10 pages. |
| DOI Details | Jasper Nalbach, Gereon Kremer, and Erika Ábrahám. 2019. On Variable Orderings in MCSAT for Non-linear Real Arithmetic : (extended abstract). In SC-square 2019 : Satisfiability Checking and Symbolic Computation 2019 : Proceedings of the 4th SC-Square Workshop co-located with the SIAM Conference on Applied Algebraic Geometry (SIAM AG 2019) : Bern, Switzerland, 10th July 2019 (CEUR workshop proceedings, Vol. 2460). RWTH-Aachen, Aachen, Germany, 7 pages. |
| DOI Details | Francesco Leofante, Stefan Schupp, Erika Ábrahám, and Armando Tacchella. 2019. Engineering Controllers For Swarm Robotics Via Reachability Analysis In Hybrid Systems. In Proceedings of the 33rd International ECMS Conference on Modelling and Simulation, ECMS 2019 : June 11th-June 14th, 2019, Caserta, Italy : communications of the ECMS, volume 33, issue 1, June 2019. European Council for Modelling, Simulation, [Europe], 7 pages. |
| DOI Details | Pascal Richter, Fynn Kepp, Christina Maria Katharina Büsing, and Sascha David Kuhnke. 2019. Optimization of robust aiming strategies in solar tower power plants. In SolarPACES 2018 : International Conference on Concentrating Solar Power and Chemical Energy Systems : Casablanca, Morocco, 2-5 October 2018 (AIP conference proceedings, Vol. 2126). AIP Publishing, Melville, New York. |
| DOI Details | Matthias Althoff, Stanley Bak, Marcelo Forets, Goran Frehse, Niklas Kochdumper, Rajarshi Ray, Christian Schilling, and Stefan Schupp. 2019. ARCH-COMP19 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics. In ARCH19 : 6th International Workshop on Applied Verification of Continuous and Hybrid Systems (EPiC series in computing, Vol. 61). EasyChair, [Manchester], 14–40. |
| DOI Details | Lei Bu, Rajarshi Ray, and Stefan Schupp. 2019. ARCH-COMP19 Category Report: Bounded Model Checking of Hybrid Systems with Piecewise Constant Dynamics. In ARCH19 : 6th International Workshop on Applied Verification of Continuous and Hybrid Systems (EPiC series in computing, Vol. 61). EasyChair, [Manchester], 120–128. |
| 2018 | |
| DOI Details | Stefan Schupp, Justin Winkens, and Erika Ábrahám. 2018. Context-Dependent Reachability Analysis for Hybrid Systems. In 2018 IEEE 19th International Conference on Information Reuse and Integration for Data Science : IRI 2018 : 7-9 July 2018, Salt Lake City, Utah, USA : proceedings. IEEE, Piscataway, NJ, 518–525. |