[CS@TUK] Questions and Answers

Recent activity by KS

1 answer

If K1 and K2 are not bisimilar on bisimulation K1≈K2, can K2 and K1 be bisimilar on bisimulation K2≈K1?

commented 4 days ago in * TF "Emb. Sys. and Rob."

1 answer

Kripke Structures

commented 4 days ago in * TF "Emb. Sys. and Rob."

2 answers

exercise sheet 5 question 1

commented 4 days ago in * TF "Emb. Sys. and Rob."

1 answer

VRS sheet 4 Q2 FSM to Kripke with transitional formula R= !(next(p)&a&q|next(q)|(o->p))

answered May 27 in * TF "Emb. Sys. and Rob."

1 answer

Thanks.Yes I had done wrong labelling. Could you please check the Kripke structure and the states?

commented May 24 in * TF "Emb. Sys. and Rob."

1 answer

Product of Kripke Structures

answered May 24 in * TF "Emb. Sys. and Rob."

1 answer

VRS Exercise sheet 4 Question No.2

answered May 23 in * TF "Emb. Sys. and Rob."

1 answer

Sequent calculus

commented Apr 26 in # Study-Organisation (Master)

1 answer

Computing fixpoint in Lustre node

answered Mar 24 in * TF "Emb. Sys. and Rob."

1 answer

Quartz (Causality Analysis)

answered Mar 23 in * TF "Emb. Sys. and Rob."

1 answer

question 7b

answered Mar 21 in * TF "Emb. Sys. and Rob."

1 answer

Quartz (Causality Analysis)

answered Mar 21 in * TF "Emb. Sys. and Rob."

1 answer

S-invariants

answered Mar 20 in * Other Teaching Fields

1 answer

Zielonka - Practice Questions

commented Feb 14 in # Study-Organisation (Master)

1 answer

ZDD to FDD doubts

answered Feb 14 in * TF "Emb. Sys. and Rob."

1 answer

Questions related to equivalance

answered Feb 14 in * TF "Emb. Sys. and Rob."

1 answer

Liveness-automata determinzation

answered Feb 14 in * TF "Emb. Sys. and Rob."

1 answer

LTL Translation Formula September 6, 2022

answered Feb 14 in # Study-Organisation (Master)

1 answer

LTL Validity checking

commented Feb 13 in * TF "Emb. Sys. and Rob."

1 answer

How to get ZDD from set representation? [2022.09 1d]

answered Feb 13 in * TF "Emb. Sys. and Rob."

Imprint | Privacy Policy

...