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

2024-12-09

AGV 9.2 -- Nested depth-first search

UdS Notes / AGV

2024-12-08

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

UdS Notes / AGV

2024-12-07

AGV 8.5 -- From Linear Arithmetic to Automata

UdS Notes / AGV

2024-12-06

AGV 8.4 -- Homogenous Inequality Testing is Automatic

UdS Notes / AGV