Login / Signup
Bisimulations for Verifying Strategic Abilities with an Application to ThreeBallot.
Francesco Belardinelli
Rodica Condurache
Catalin Dima
Wojciech Jamroga
Andrew V. Jones
Published in:
AAMAS (2017)
Keyphrases
</>
decision making
model checking
case study
long term
competitive environment
database
real time
data sets
neural network
real world
artificial intelligence
website
relational databases
human beings