On the Specification and Monitoring of Timed Normative Systems.

Shaun Azzopardi Gordon J. Pace Fernando Schapachnik Gerardo Schneider

Published in: RV (2021)

Keyphrases

normative systems
multi agent systems
logical framework
monitoring system
real time
petri net
mental attitudes
colored petri nets
high level
knowledge base
formal specification
intelligent agents
finite state machines
specification language
software engineering
timed automata
machine learning