Author:Erika Ábrahám

Publications
ARCH-COMP21 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics Matthias Althoff, Erika Ábrahám, Marcelo Forets, Goran Frehse, Daniel Freire, Christian Schilling, Stefan Schupp and Mark Wetzlinger In:8th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH21)
Parameter Synthesis for Probabilistic Hyperproperties Erika Ábrahám, Ezio Bartocci, Borzoo Bonakdarpour and Oyendrila Dobe In:LPAR23. LPAR-23: 23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning
SC-square: when Satisfiability Checking and Symbolic Computation join forces Erika Ábrahám, John Abbott, Bernd Becker, Anna M. Bigatti, Martin Brain, Alessandro Cimatti, James H. Davenport, Matthew England, Pascal Fontaine, Stephen Forrest, Vijay Ganesh, Alberto Griggio, Daniel Kroening and Werner M. Seiler In:ARCADE 2017. 1st International Workshop on Automated Reasoning: Challenges, Applications, Directions, Exemplary Achievements
Heliostat Field Layout Optimization with Evolutionary Algorithms Pascal Richter, David Laukamp, Levin Gerdes, Martin Frank and Erika Ábrahám In:GCAI 2016. 2nd Global Conference on Artificial Intelligence
A Genetic Algorithm based Control Strategy for the Energy Management Problem in PHEVs Johanna Nellen, Benedikt Wolters, Lukas Netz, Sascha Geulen and Erika Ábrahám In:GCAI 2015. Global Conference on Artificial Intelligence
Flow* 1.2: More Effective to Play with Hybrid Systems Xin Chen, Sriram Sankaranarayanan and Erika Ábrahám In:ARCH14-15. 1st and 2nd International Workshop on Applied veRification for Continuous and Hybrid Systems

Keyphrases

ARCH-COMP, automated reasoning, computer algebra, CORA, energy management problem, Evolutionary Algorithms, Flow*, Genetic Algorithms, Heliostat Field Layout Optimization, hybrid electric vehicle, hybrid systems², Hydra, information flow security, JuliaReach, linear continuous dynamics, probabilistic systems, reachability, satisfiability checking, Solar Tower Power Plants, SpaceEx², symbolic computation, synthesis, Taylor model, tools.