Answers by Martin

0 votes

SNF - LTL model checking

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

0 votes

Cardinality of R

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

+1 vote

LTL model checking exam 15.02.2017

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

+1 vote

Doubt in temporal operator in CTL

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

+1 vote

LTL question exercise 8 1c

answered Jun 30, 2022 in * TF "Emb. Sys. and Rob."

+2 votes

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

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

+1 vote

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

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

0 votes

Precedence rules of the operators

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

0 votes

ω-Automata Feb 2021

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

0 votes

Exercise 8 problem 1 (a)

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

0 votes

Exercize 8 Problem 1(b)

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

0 votes

exercies 5 question 5: Quotient Structure

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

+1 vote

VRS Exercise Sheet 5 Problem 1C and 1D

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

0 votes

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

answered May 3, 2021 in * TF "Emb. Sys. and Rob."

+1 vote

Query regarding Eventual Operator

answered Feb 15, 2021 in * TF "Emb. Sys. and Rob."

+1 vote

Doubt regarding Temporal Logics

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

+1 vote

Could someone kindly proof check my solution for a task in problem 7?

answered Feb 12, 2021 in * TF "Emb. Sys. and Rob."

+1 vote

I am looking for a short and precise explanation of B and U temporal operator in natural language..?

answered Feb 12, 2021 in * TF "Emb. Sys. and Rob."

0 votes

Interpreting CTL formulas

answered Feb 12, 2021 in * TF "Emb. Sys. and Rob."

0 votes

Computing set of states that satisfy a formula

answered Feb 11, 2021 in * TF "Emb. Sys. and Rob."

Categories