2024-11-29

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

UdS Notes / AGV

2024-11-28

AGV 6.6 -- Express QPTL using S1S

UdS Notes / AGV

2024-11-27

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

UdS Notes / AGV

2024-11-26

AGV 6.4 -- Quantified Propositional Temporal Logic (QPTL)

UdS Notes / AGV

2024-11-25

AGV 6.3 -- LTL and Counting Languages

UdS Notes / AGV

2024-11-24

AGV 6.2 -- Expressing Program Properties using LTL

UdS Notes / AGV

2024-11-23

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

UdS Notes / AGV

2024-11-22

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

UdS Notes / AGV

2024-11-21

AGV 5.2 -- Ranking of DAG

UdS Notes / AGV

2024-11-20

AGV 5.1 -- Infinite Directed Acyclic Graph (DAG)

UdS Notes / AGV