EECI 2020: Minimum Violation Planning: Difference between revisions
From Murray Wiki
Jump to navigationJump to search
(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...") |
(No difference)
|
Revision as of 18:50, 28 February 2020
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
