An Introduction to CORA 2015

By Matthias Althoff. ARCH@CPSWeek, 2015

480 citations recorded by the source corpus.

Subfields: Computer Networks and Communications, Control and Systems Engineering, Software

View Paper: https://www.semanticscholar.org/paper/00044e6c948811d3253072acdcbcf5aacd3e1dbd

How researchers see this paper

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

In Computer Networks and Communications

1. Ashish Tiwari
2. Mo Chen
3. Claire Jennifer Tomlin
4. Sriram Sankaranarayanan
5. Somil Bansal
6. Susmit Jha
7. Sylvia L. Herbert

In Control and Systems Engineering

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

In Software

1. Susmit Jha
2. Ashish Tiwari
3. Mo Chen
4. Claire Jennifer Tomlin
5. Sriram Sankaranarayanan
6. Somil Bansal
7. Sylvia L. Herbert
8. Souradeep Dutta

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.”
• Learning and Verification of Feedback Control Systems using Feedforward Neural Networks (2018, background): “[2013]), CORA (Althoff [2015]) for nonlinear systems and SpaceEx (Frehse et al.”