2025-02-11

AGV 11.2 -- Reachability Games

UdS Notes / AGV

2025-02-11

AGV 11.1 -- Infinite Games (Basic Definitions)

UdS Notes / AGV

2025-02-11

AGV 10.5 -- From semi-deterministic Büchi to deterministic Muller

UdS Notes / AGV

2025-01-29

AGV 10.4 -- Semi-Deterministic Büchi Automata

UdS Notes / AGV

2024-12-19

Cantonese Ch.1-6 -- Tones

Cantonese / Full Course

2024-12-17

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

UdS Notes / AGV

2024-12-13

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

UdS Notes / AGV

2024-12-12

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

UdS Notes / AGV

2024-12-11

AGV 10.1 -- The Muller Acceptance Condition

UdS Notes / AGV

2024-12-10

AGV 9.3 -- The Emerson-Lei algorithm

UdS Notes / AGV