Here you can ask questions and find or give answers to organizational, academic and other questions about studying computer science.

1.1k questions

1.2k answers

1.6k comments

538 users

0 votes
In LTL validity checking is there a way to translate the LTL formula to omega automaton?
in * TF "Emb. Sys. and Rob." by (380 points)

1 Answer

0 votes
I think that was already asked, and my answer was: Sure, the chapter on temporal logic explains many procedures to to this, right? Why shouldn't we use them here?
by (166k points)
Okay professor, I will check. thank you so much.
Imprint | Privacy Policy
...