Author:Erika Ábrahám

Publications

Keyphrases

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