Formal Verification of Dynamic Properties in an Aerospace Application
Formal Methods in System Design
Time-Deterministic Hybrid Transition Systems
Hybrid Systems V
Evolved finite state controller for hybrid system
Proceedings of the first ACM/SIGEVO Summit on Genetic and Evolutionary Computation
Hi-index | 0.00 |