Login / Signup
Partial-order reduction for parity games and parameterised Boolean equation systems.
Thomas Neele
Tim A. C. Willemse
Wieger Wesselink
Antti Valmari
Published in:
Int. J. Softw. Tools Technol. Transf. (2022)
Keyphrases
</>
building blocks
complex systems
computer games
video games
real time
knowledge base
learning process
management system
distributed systems
computer systems
learning systems
mathematical model
differential equations
error correction