Tags

quadratic invariants
Mar 11, 2024
verification
Mar 11, 2024
Autobóz
Jun 1, 2023
Automata
Jun 1, 2023
Games
Jun 1, 2023
Logic
Jun 1, 2023
WORReLL'23
Jun 1, 2023
defective variables
May 23, 2023
effective variables
May 23, 2023
program analysis
May 23, 2023