Login / Signup

Simulation-based verification of hybrid automata stochastic logic formulas for stochastic symmetric nets.

Elvio Gilberto AmparoreBenoît BarbotMarco BeccutiSusanna DonatelliGiuliana Franceschinis
Published in: SIGSIM-PADS (2013)
Keyphrases
  • monte carlo
  • hybrid automata
  • linear time temporal logic
  • metadata
  • training data
  • relational databases
  • predicate calculus
  • asynchronous circuits