tag : operational semantics

2 publications
page_white_acrobat Specifying Agent Observable Behaviour (AAMAS 2002) — Mirko Viroli, Andrea Omicini
page_white_acrobat On the Grey-Box Modelling Approach for Autonomous Agents (2002) — Mirko Viroli, Andrea Omicini