2024-11-27

AGV 6.5 -- Monadic Second-Order Logic of One Successor (S1S)

Notes / UdS

2024-11-26

AGV 6.4 -- Quantified Propositional Temporal Logic (QPTL)

Notes / UdS

2024-11-25

AGV 6.3 -- LTL and Counting Languages

Notes / UdS

2024-11-24

AGV 6.2 -- Expressing Program Properties using LTL

Notes / UdS

2024-11-23

AGV 6.1 -- Linear-Time Temporal Logic (LTL)

Notes / UdS

2024-11-22

AGV 5.3 -- Complement Büchi Automaton with Odd Ranking

Notes / UdS

2024-11-21

AGV 5.2 -- Ranking of DAG

Notes / UdS

2024-11-20

AGV 5.1 -- Infinite Directed Acyclic Graph (DAG)

Notes / UdS

2024-11-19

AGV 4.2 -- Complementation of deterministic Büchi Automata

Notes / UdS

2024-11-18

AGV 4.1 -- Deterministic vs. Nondeterministic Büchi Automata

Notes / UdS