Login / Signup
Using Process Calculi for Plan Verification in Multiagent Planning.
Jan Jakubuv
Jan Tozicka
Antonín Komenda
Published in:
ICAART (Revised Selected Papers) (2015)
Keyphrases
</>
multiagent planning
decision making
control system
decision theoretic