Login / Signup
Bisimulations for Logics of Strategies: A Study in Expressiveness and Verification.
Francesco Belardinelli
Catalin Dima
Aniello Murano
Published in:
KR (2018)
Keyphrases
</>
expressive power
real time
artificial intelligence
information systems
information technology
experimental study
computational properties
website
search algorithm
statistical analysis
factors affecting