2024-12-06
AGV 8.4 -- Homogenous Inequality Testing is Automatic
Notes / UdS
2024-12-05
AGV 8.3 -- Translation from Linear Arithmetic to Automata
2024-12-04
AGV 8.2 -- Encoding Real Numbers
2024-12-03
AGV 8.1 -- Linear Arithmetic (Theory)
2024-12-02
AGV 7.3 -- Translating Alternating to Nondeterministic automata
2024-12-01
AGV 7.2 -- From LTL to Alternating Büchi Automata
GreenMeeple's Notes
UdS, CUHK, and more
In the Matrix, loading...
Posts
76
Categories
6
Tags
7
2025-02-16
AGV 12.3 -- Complementation of Parity Tree Automata
AGV 12.2 -- Emptiness Game
AGV 12.1 -- Tree Automata and Acceptance Game
2025-02-15
AGV 11.6 -- A Remark on Undetermined Games
2025-02-13
AGV 11.5 -- Muller Games
Update your browser to view this website correctly.&npsb;Update my browser now
×