Follow
( Publications: 30 | Followers: 0 )

Lecture 17: Translating LTL properties

Translating from logic to automata Book: Chapter 6 Why translating? ... Guarantees that it is never the case that U holds forever, without .

Publish on Category: All 2

0

Embed

Share

Upload

Lecture 17: Translating LTL properties