All pages tagged with operational semantics

• Specifying Agent Observable Behaviour
• On the Grey-Box Modelling Approach for Autonomous Agents