EECI 2020: Minimum Violation Planning

From Murray Wiki

Revision as of 18:50, 28 February 2020 by Nok (talk | contribs) (Created page with "{{righttoc}} == Lecture Materials == * Lecture slides == Further Reading == * <p>[https://link.springer.com/content/pdf/10.1007%2F3-540-46002-0_30.pdf Temporal debugging fo...")

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

Jump to navigation Jump to search

Lecture Materials

Lecture slides

Further Reading

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=23421"

Navigation menu