S-TaLiRo: A Tool for Temporal Logic Falsification for Hybrid Systems

By Yashwanth Annpureddy, Che Liu, Georgios Fainekos, Sriram Sankaranarayanan. International Conference on Tools and Algorithms for Construction and Analysis of Systems, 2011

486 citations recorded by the source corpus.

Subfields: Computational Theory and Mathematics, Management Science and Operations Research, Safety, Risk, Reliability and Quality

View Paper: https://www.semanticscholar.org/paper/e19b889bddb3c454ef0d6bfbbcfa0e912ecc1d78

How researchers see this paper

The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.

In Computational Theory and Mathematics

1. Muhammad Akmal Shafique
2. Radu Grosu
3. Florian Geissler
4. Denise Ratasich
5. Faiq Khalid
6. Ezio Bartocci

Citations in the corpus

• A Roadmap Toward the Resilient Internet of Things for Cyber-Physical Systems (2018, methodology): “bugs in Simulink/Stateflowmodels is falsification-based testing [125], [126], [202].”