Flow*: An Analyzer for Non-linear Hybrid Systems

By Xin Chen, Erika Ábrahám, Sriram Sankaranarayanan. International Conference on Computer Aided Verification, 2013

564 citations recorded by the source corpus.

Subfields: Computational Theory and Mathematics, Control and Systems Engineering

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

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. Mo Chen
2. Somil Bansal
3. Sylvia L. Herbert
4. Claire Jennifer Tomlin
5. John Lygeros

In Control and Systems Engineering

1. Mo Chen
2. Claire Jennifer Tomlin
3. Somil Bansal
4. Sylvia L. Herbert
5. Vijay R. Kumar

Citations in the corpus

• Hamilton-Jacobi reachability: A brief overview and recent advances (2017, methodology): “Numerous tools such as SpaceEx [24], Flow* [25], CORA [26], C2E2 [27], [28], and dReach [29] have been developed for this purpose; the authors in [30] present a tutorial on combining different tools for hybrid systems verification.”