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

531 users

0 votes


For the above problem, would it be ok if we solve it this way? 

in * TF "Emb. Sys. and Rob." by (360 points)

1 Answer

0 votes

Yes, that works. You can easily check this with the LTL tool when checking the validity of the following two formulas:

  • (G(!a&!b&!c)) -> [G!c WB [b SB a]]
  • (G(!a&b&!c)) -> [G!c WB [b SB a]]
by (166k points)

Related questions

0 votes
1 answer
0 votes
1 answer
0 votes
1 answer
0 votes
1 answer
0 votes
1 answer
Imprint | Privacy Policy
...