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