Login / Signup

Automated Model Design Using Genetic Algorithms and Model Checking.

Raluca LefticaruFlorentin IpateCristina Tudose
Published in: BCI (2009)
Keyphrases
  • model checking
  • temporal properties
  • finite state machines
  • temporal logic
  • model checker
  • multi agent systems
  • distributed systems
  • finite state
  • reactive systems