Recent activity by EngiMary

1 answer

exam results

asked Aug 26, 2020 in * TF "Emb. Sys. and Rob."

1 answer

Decision Diagrams (exam 19. Feb 2020 question 1)

edited Aug 23, 2020 in * TF "Emb. Sys. and Rob."

1 answer

ω-Automata (exam Feb 2020 question 5.b)

answer selected Aug 21, 2020 in * TF "Emb. Sys. and Rob."

1 answer

ω-Automata (exam Feb 2020 question 5.a)

asked Aug 21, 2020 in * TF "Emb. Sys. and Rob."

1 answer

LTL Model Checking (exam Feb 2020 question 6.a)

asked Aug 21, 2020 in * TF "Emb. Sys. and Rob."

1 answer

LTL Model Checking (exam Feb 2020 question 6.b)

asked Aug 21, 2020 in * TF "Emb. Sys. and Rob."

2 answers

From FSMs to Kripke Structures (exercise sheet 1.b)

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

2 answers

exercise sheet 3 question 3.b [Binary Decision Diagrams] FDD and ZDD

edited Aug 13, 2020 in * TF "Emb. Sys. and Rob."

1 answer

and how do we choose which 2 nodes to apply the "apply algorithm" on?

answer selected Aug 10, 2020 in * TF "Emb. Sys. and Rob."

1 answer

exercise sheet 1 question 3.b: Equations to Clause Form for Basic Operators

answer selected Aug 6, 2020 in * TF "Emb. Sys. and Rob."

1 answer

CTL Model Checking 1 (exercise sheet 9 question 1)

commented Jun 24, 2020 in * TF "Emb. Sys. and Rob."

1 answer

[Temporal Logics] LTL Equivalence (exercise sheet 8 question 1)

answer selected Jun 21, 2020 in * TF "Emb. Sys. and Rob."

1 answer

last assignment

answer selected Jun 16, 2020 in * TF "Emb. Sys. and Rob."

2 answers

Global Model Checking (exercise sheet 6 question 3)

answer selected Jun 9, 2020 in * TF "Emb. Sys. and Rob."

1 answer

Global Model Checking (solution sheet 6)

answer selected Jun 4, 2020 in * TF "Emb. Sys. and Rob."

3 answers

Semantics of Modal Operators (exercise sheet 6 question 2)

comment edited Jun 4, 2020 in * TF "Emb. Sys. and Rob."

1 answer

Different Orders (exercise sheet 6 question 1)

answer selected Jun 4, 2020 in * TF "Emb. Sys. and Rob."

1 answer

Global Model Checking (exercise sheet 6 question 3)

asked Jun 3, 2020 in * TF "Emb. Sys. and Rob."

2 answers

xor two equations (exercise sheet 2 question1)

answer selected Jun 2, 2020 in * TF "Emb. Sys. and Rob."

1 answer

Symbolic Computation of Predecessor States (exercise sheet 5 question 2)

asked May 29, 2020 in * TF "Emb. Sys. and Rob."

Categories