Login / Signup
Modelling Epistemic Properties for Specification and Verification of a Multi-agent System.
Marina Bagic
Mojca Ciglaric
Published in:
Software Engineering Research and Practice (2007)
Keyphrases
</>
formal verification
formal methods
structural properties
desirable properties
belief change
model checking
formal language
data sets
search engine
high level
bayesian networks
temporal logic
epistemic logic
modelling language