A statistical model checker for situation calculus based multi-agent models.
Christian KroißPublished in: AAMAS (2014)
Keyphrases
- programming language
- situation calculus
- agent model
- model checker
- fluent calculus
- specification language
- model checking
- formal verification
- formal methods
- general purpose
- collective decision making
- temporal logic
- modal logic
- action theories
- formal specification
- description language
- initial state
- software engineering
- reasoning about actions
- concurrent actions
- test suite
- knowledge base
- ai planning
- search strategies
- set theory
- np hard
- computational complexity
- reinforcement learning