C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Toward Bidirectionalization of ATL with GRoundTram.
Isao Sasano
Zhenjiang Hu
Soichiro Hidaka
Kazuhiro Inaba
Hiroyuki Kato
Keisuke Nakano
Published in:
ICMT@TOOLS (2011)
Keyphrases
</>
multi agent systems
alternating time temporal logic
model checking
temporal logic
decision making
cooperative
search algorithm