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

928 questions

1k answers

1.4k comments

441 users

0 votes
I have 2 doubts  as I see  in some of the final solutions that don't contain S/W before/Until operators as they have been transformed to F or something else.

1) Can LTL contain Strong/Weak Before/Until operators?

2) Can CTL contain Strong/Weak Before/Until operators?
in * TF "Emb. Sys. and Rob." by (1k points)

1 Answer

+1 vote
 
Best answer
Both questions: Definitely YES (just see slides 33 and 34 for the CTL operations.
by (143k points)
selected by
Thank you for clarifying.

Related questions

0 votes
1 answer
0 votes
1 answer
0 votes
1 answer
asked Aug 24, 2022 in * TF "Emb. Sys. and Rob." by CS_E (2.9k points)
0 votes
1 answer
0 votes
1 answer
Imprint | Privacy Policy
...