2024-12-22

Automata, Games, and Verification (Portal)

Notes / UdS

2024-12-19

Cantonese Ch.1-6 -- Tones

Cantonese / Full_Course

2024-12-17

AGV -- (Exercise 7.2) LTL to Alternating Büchi Automata

Notes / UdS

2024-12-13

AGV 10.3 -- Closure Properties of Muller automata Under Boolean Operations

Notes / UdS

2024-12-12

AGV 10.2 -- From Büchi automata to Muller automata

Notes / UdS

2024-12-11

AGV 10.1 -- The Muller Acceptance Condition

Notes / UdS

2024-12-10

AGV 9.3 -- The Emerson-Lei algorithm

Notes / UdS

2024-12-09

AGV 9.2 -- Nested depth-first search

Notes / UdS

2024-12-08

AGV 9.1 -- Automata-based LTL Model Checking with Sequential Circuits

Notes / UdS

2024-12-07

AGV 8.5 -- From Linear Arithmetic to Automata

Notes / UdS