Author:Erika Ábrahám

Publications

Keyphrases

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