Login / Signup

Symbolic Solution of Emerson-Lei Games for Reactive Synthesis.

Daniel HausmannMathieu LehautNir Piterman
Published in: FoSSaCS (1) (2024)
Keyphrases
  • high level
  • databases
  • information processing
  • optimal solution
  • game theory