Publications

Publications for Erika Abraham

2020
DownloadLink
[bibtex]
Erika Abraham, James H. Davenport, Matthew England, Gereon Kremer. Deciding the Consistency of Non-Linear Real Arithmetic Constraints with a Conflict Driven Search Using Cylindrical Algebraic Coverings. Journal of Logical and Algebraic Methods in Programming, 2020.
2019
DOI
[bibtex]
Gereon Kremer, Erika Abraham. Fully Incremental Cylindrical Algebraic Decomposition. Journal of Symbolic Computation (Available online 29 July 2019), 2019.
DOI
[bibtex]
Francesco Leofante, Stefan Schupp, Erika Abraham, Armando Tacchella. Engineeering Controllers for Swarm Robotics via Reachability Analysis in Hybrid Systems. 33rd International ECMS European Conference on Modelling and Simulation (ECMS'19), pages 407–413, European Council for Modeling and Simulation, 2019.
DOI
[bibtex]
Francesco Leofante, Erika Abraham, Tim Niemueller, Gerhard Lakemeyer, Armando Tacchella. Integrated Synthesis and Execution of Optimal Plans for Multi-Robot Systems in Logistics. Information Systems Frontiers 21(1), pages 87–107, 2019.

[bibtex]
Jasper Nalbach, Gereon Kremer, Erika Abraham. On Variable Orderings in MCSAT for Non-linear Real Arithmetic. Proceedings of the 4th International Workshop on Satisfiability Checking and Symbolic Computation, , 2019.

[bibtex]
Gereon Kremer, Erika Abraham, Vijay Ganesh. On the Proof Complexity of MCSAT. Proceedings of the 4th International Workshop on Satisfiability Checking and Symbolic Computation, , 2019.
DOI
[bibtex]
Philipp Berger, Johanna Nellen, Joost-Pieter Katoen, Erika Abraham, Md Tawhid Bin Waez, Thomas Rambow. Multiple Analyses, Requirements Once: Simplifying Testing and Verification in Automotive Model-Based Development. Proc. of the 24th Int. Conf. on Formal Methods for Industrial Critical Systems (FMICS'19), Volume 11687 of LNCS, pages 59–75, Springer, 2019.
Show all