Revisiting Epistemic Specifications

Miroslaw Truszczynski

Published in: CoRR (2011)

Keyphrases

formal specification
functional requirements
delay insensitive
belief change
high level
epistemic logic
specification language
control flow
computer vision
case study
multi agent systems
finite state machines
written in natural language