EECI 2020: Minimum Violation Planning: Difference between revisions
From Murray Wiki
Jump to navigationJump to search
No edit summary |
|||
| Line 3: | Line 3: | ||
== Lecture Materials == | == Lecture Materials == | ||
* Lecture slides | * [https://www.dropbox.com/s/05g0y9t13hm3hgt/L8_mvp-2020.pdf?dl=0 Lecture slides] | ||
== Further Reading == | == Further Reading == | ||
Revision as of 20:03, 29 February 2020
| Prev: Computer Session: TuLiP | Course home | Next: Computer Session: MVP |
Lecture Materials
Further Reading
Least-violating Control Strategy Synthesis with Safety Rules J. Tumova, G.C Hall, S. Karaman, E. Frazzoli and D. Rus, HSCC 2013. Detail on minimum violation planning for finite state systems.
Incremental Sampling-based Algorithm for Minimum-violation Motion Planning L.I.R. Castro, P. Chaudhari, J. Tumova, S. Karaman, E. Frazzoli, D. Rus, CDC 2013. Incremental version of minimum violation planning.
Temporal debugging for concurrent systems E.L. Gunter and D. Peled, TACAS 2002. Detail on finite LTL and translation to finite automaton
