Computer Aided Verification - 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I
Event name
Computer Aided Verification - 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I
Event type
Event for scientific audience
Start date
14-07-2018
End date
17-07-2018
Location
Oxford, UK
Country
Event format Veranstaltungsformat
On Site
Results 1-2 of 2 (Search time: 0.001 seconds).
Preview | Authors / Editors | Title | Type | Issue Date | |
---|---|---|---|---|---|
1 | Bartocci, Ezio ; Bloem, Roderick ; Nickovic, Dejan ; Roeck, Franz ; Chockler, Hana ; Weissenbacher, Georg | A Counting Semantics for Monitoring LTL Specifications over Finite Traces | Konferenzbeitrag Inproceedings | 2018 | |
2 | Kong, Hui ; Bartocci, Ezio ; Henzinger, Thomas A. ; Chockler, Hana ; Weissenbacher, Georg | Reachable Set Over-Approximation for Nonlinear Systems Using Piecewise Barrier Tubes | Konferenzbeitrag Inproceedings | 2018 |