Recent activity by Martin

1 answer

SNF - LTL model checking

answered Jan 25, 2023 in * TF "Emb. Sys. and Rob."

1 answer

Cardinality of R

answer edited Jan 18, 2023 in * TF "Emb. Sys. and Rob."

1 answer

Alternation-free rules

commented Aug 24, 2022 in * TF "Emb. Sys. and Rob."

2 answers

LTL model checking exam 15.02.2017

answered Aug 9, 2022 in * TF "Emb. Sys. and Rob."

2 answers

Doubt in temporal operator in CTL

answered Aug 3, 2022 in * TF "Emb. Sys. and Rob."

1 answer

CTL exam question

commented Aug 3, 2022 in * TF "Emb. Sys. and Rob."

1 answer

LTL question exercise 8 1c

commented Jul 1, 2022 in * TF "Emb. Sys. and Rob."

1 answer

Sheet 6 Question 1 (how can we prove transitivity for R1)

commented Jun 7, 2022 in * TF "Emb. Sys. and Rob."

1 answer

VRS sheet 1 exercise 1 (brainteaser) answer format

commented May 3, 2022 in * TF "Emb. Sys. and Rob."

2 answers

Order to be followed while solving <>[]X in model checking questions attached

commented Feb 3, 2022 in * TF "Emb. Sys. and Rob."

2 answers

Do we proceed with 'or' operator or "<->" ?

answered Aug 25, 2021 in * TF "Emb. Sys. and Rob."

1 answer

Exercise Sheet 12, Ex. 5a: Set representation for ZDD

answer edited Aug 20, 2021 in * TF "Emb. Sys. and Rob."

1 answer

Precedence rules of the operators

answered Aug 16, 2021 in * TF "Emb. Sys. and Rob."

1 answer

CTL, LTL and CTL∗

comment edited Aug 10, 2021 in * TF "Emb. Sys. and Rob."

2 answers

ω-Automata Feb 2021

commented Aug 5, 2021 in * TF "Emb. Sys. and Rob."

1 answer

Exercise 8 problem 1 (a)

commented Jun 25, 2021 in * TF "Vis. and Sci. Comp."

2 answers

Exercize 8 Problem 1(b)

answer edited Jun 25, 2021 in * TF "Vis. and Sci. Comp."

2 answers

VRS Exercise Sheet 5 Problem 1C and 1D

commented Jun 6, 2021 in * TF "Emb. Sys. and Rob."

2 answers

exercies 5 question 5: Quotient Structure

answered Jun 4, 2021 in * TF "Emb. Sys. and Rob."

2 answers

The portal (for VRS) does not accept even answers provided by tools. I have no idea what to do.

commented May 5, 2021 in * TF "Emb. Sys. and Rob."

Categories