2024-11-30

AGV 7.1 -- Alternating Büchi Automata

Notes / UdS

2024-11-29

AGV 6.7 -- S1S$_0$ and Büchi-recognizable Language

Notes / UdS

2024-11-28

AGV 6.6 -- Express QPTL using S1S

Notes / UdS

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