Falsification of temporal properties of hybrid systems using the cross-entropy method

This publication has 19 references indexed in Scilit:

• Robustness of temporal logic specifications for continuous-time signals
  Theoretical Computer Science, 2009
• Falsification of LTL Safety Properties in Hybrid Systems
  2009
• Cross-Entropy-Based Replay of Concurrent Programs
  2009
• Verification of Supervisory Control Software Using State Proximity and Merging
  Lecture Notes in Computer Science, 2008
• On a Continuous Degree of Satisfaction of Temporal Logic Formulae with Applications to Systems Biology
  2008
• Sampling-based planning, control and verification of hybrid systems
  IEE Proceedings - Control Theory and Applications, 2006
• Statistical probabilistic model checking with a focus on time-bounded properties
  Information and Computation, 2006
• Monte Carlo Model Checking
  2005
• On reachability and minimum cost optimal control
  Automatica, 2004
• The algorithmic analysis of hybrid systems
  Theoretical Computer Science, 1995