Author:Orna Kupferman
Keyphrasesgame theory, hierarchical systems, Infinite alphabets, Integer Linear Programming, LTL with arithmetic, model checking, Nash equilibrium, Rational synthesis, reachability games. |
| |||||
Copyright © 2012-2024 easychair.org. All rights reserved. |