Statistically Sound Verification and Optimization for Complex Systems.

Yan Zhang Sriram Sankaranarayanan Fabio Somenzi

Published in: ATVA (2014)

Keyphrases

complex systems
statistically sound
dynamic systems
multi agent systems
model checking
manufacturing systems
discrete event systems
biological systems
mathematical models
physical systems
steady state simulation
data mining