EECI 2020: Minimum Violation Planning

From Murray Wiki

Revision as of 17:06, 29 February 2020 by Murray (talk | contribs)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Jump to navigation Jump to search

Prev: Computer Session: TuLiP

Next: Computer Session: MVP

Lecture Materials

Lecture slides

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

Retrieved from "https://murray.cds.caltech.edu/index.php?title=EECI_2020:_Minimum_Violation_Planning&oldid=23448"

Navigation menu