Efficient Guiding Strategies for Testing of Temporal Properties of Hybrid Systems

This publication has 20 references indexed in Scilit:

• Efficient Robust Monitoring for STL
  2013
• Querying Parametric Temporal Logic Properties on Embedded Systems
  2012
• Sampling-based algorithms for optimal motion planning
  The International Journal of Robotics Research, 2011
• Linear temporal logic vehicle routing with applications to multi‐UAV mission planning
  International Journal of Robust and Nonlinear Control, 2011
• S-TaLiRo: A Tool for Temporal Logic Falsification for Hybrid Systems
  2011
• Breach, A Toolbox for Verification and Parameter Synthesis of Hybrid Systems
  2010
• Robust Satisfaction of Temporal Logic over Real-Valued Signals
  2010
• Coverage-guided test generation for continuous and hybrid systems
  Formal Methods in System Design, 2009
• Hybrid systems: from verification to falsification by combining motion planning and discrete search
  Formal Methods in System Design, 2008
• Monitoring Temporal Properties of Continuous Signals
  2004