Login / Signup
Automated Temporal Equilibrium Analysis: Verification and Synthesis of Multi-Player Games.
Julian Gutierrez
Muhammad Najib
Giuseppe Perelli
Michael J. Wooldridge
Published in:
CoRR (2020)
Keyphrases
</>
spatio temporal
automated analysis
real time
real world
information systems
face recognition
quantitative analysis
genetic algorithm
multiscale
image analysis
model checking
fully automated
temporal constraints
verification method