Recent activity by sschwarz

1 answer

Property Directed Reachability

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

1 answer

LTL Equivalence (Globally & Eventually relation)

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

1 answer

LTL Equivalence (Before relation)

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

3 answers

Syntax Problem: Kripke structure parsing

answered Jun 11, 2020 in * TF "Emb. Sys. and Rob."

1 answer

Local Model Checking

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

1 answer

Kripke Quotient Structure

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

1 answer

Existential Predecessor

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

2 answers

Universal Predecessor

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

2 answers

How to generate Kripke structure containing state names with the online tool?

answered May 22, 2020 in * TF "Emb. Sys. and Rob."

2 answers

sheet 4 pblm:3

commented May 22, 2020 in * TF "Emb. Sys. and Rob."

2 answers

Exercise Sheet 4 : problem 2

commented May 22, 2020 in * TF "Emb. Sys. and Rob."

2 answers

does this mean both p and q are initial states?

answered May 22, 2020 in # Study-Organisation (Master)

2 answers

Kripke Structure Reachable States

answer selected May 22, 2020 in * TF "Emb. Sys. and Rob."

3 answers

Sheet 4 Question 2

answer edited May 22, 2020 in * TF "Emb. Sys. and Rob."

2 answers

Ist es erlaubt, ein Cheat Sheet in der ReSy-Klausur zu verwenden, wie auch in anderen Vorlesungen? (SE2, FGdP, ...)

answer selected May 9, 2020 in # Mandatory Modules Bachelor

1 answer

Exists Algorihm

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

1 answer

Sequent Calculus

answer selected May 8, 2020 in * TF "Emb. Sys. and Rob."

1 answer

Shannon Normal Form

answer selected May 8, 2020 in * TF "Emb. Sys. and Rob."

Categories