Author:Erika ÁbrahámPublications |
---|
| | Erika Abraham, 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 | | | |
KeyphrasesARCH-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. |
|