Recent activity by Pavithra rani

1 answer

Zielonka Attr A

commented Feb 14, 2023 in # Study-Organisation (Master)

1 answer

LTL omega automata

asked Feb 11, 2023 in # Study-Organisation (Master)

1 answer

Conditions to find the attractor

asked Feb 11, 2023 in # Study-Organisation (Master)

1 answer

Zielonka - Practice Questions

asked Feb 11, 2023 in # Study-Organisation (Master)

1 answer

Sept 2022 Lo1 to ltl

asked Feb 10, 2023 in # Study-Organisation (Master)

1 answer

Translation to CTL

asked Feb 10, 2023 in # Study-Organisation (Master)

1 answer

CTL LTL Feb 2022 7b

commented Feb 8, 2023 in # Study-Organisation (Master)

1 answer

CTL* February 16, 2022, 7e

asked Feb 2, 2023 in # Study-Organisation (Master)

1 answer

Set representation to ZDD

asked Feb 1, 2023 in # Study-Organisation (Master)

1 answer

restrict algorithm

asked Feb 1, 2023 in # Study-Organisation (Master)

1 answer

Convert to FDD

asked Jan 31, 2023 in # Study-Organisation (Master)

1 answer

zdd2fdd conversion

commented Jan 31, 2023 in # Study-Organisation (Master)

1 answer

Zielonka - Qh

asked Jan 30, 2023 in # Study-Organisation (Master)

1 answer

Zielonka - Attr(Qh)

asked Jan 30, 2023 in # Study-Organisation (Master)

1 answer

Variable ordering

asked Jan 26, 2023 in # Study-Organisation (Master)

1 answer

Omega automata to LTL

asked Jan 25, 2023 in # Study-Organisation (Master)

1 answer

NDET-F State transition

asked Jan 25, 2023 in # Study-Organisation (Master)

1 answer

LTL - SNF -State transition

asked Jan 25, 2023 in # Study-Organisation (Master)

1 answer

SNF - LTL model checking

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

1 answer

LTL model checking - state transition

commented Jan 25, 2023 in # Study-Organisation (Master)

Categories