[CS@TUK] Questions and Answers

Recent activity by r___

2 answers

BDD: Exists algorithm.

answer selected Aug 19, 2018 in * TF "Emb. Sys. and Rob."

1 answer

Path and temporal qualifiers

commented Aug 17, 2018 in * TF "Emb. Sys. and Rob."

2 answers

W-Automata, Converting liveness automata to totally defined automata

asked Aug 16, 2018 in * TF "Emb. Sys. and Rob."

1 answer

W-Automata: Procedure to convert Co-Buchi to liveness

asked Aug 15, 2018 in * TF "Emb. Sys. and Rob."

2 answers

Kripke Structures: one of the node in pairs of SIM1 has no successor

asked Aug 14, 2018 in * TF "Emb. Sys. and Rob."

1 answer

Kripke Structures: pairing nodes for structures over different sets of variables.

asked Aug 13, 2018 in * TF "Emb. Sys. and Rob."

Imprint | Privacy Policy

...