Login / Signup
Automated temporal equilibrium analysis: Verification and synthesis of multi-player games.
Julian Gutierrez
Muhammad Najib
Giuseppe Perelli
Michael J. Wooldridge
Published in:
Artif. Intell. (2020)
Keyphrases
</>
artificial intelligence
formal analysis
semi automated
statistical analysis
automated analysis
decision trees
temporal databases
temporal reasoning
temporal information
equilibrium point
structural analysis
temporal data
database
sufficient conditions
reinforcement learning
real world
neural network
databases