A Fixed-point Model-checker for BDI Logics over Finite-state Worlds.
Salvatore La TorreGennaro ParlatoPublished in: OVERLAY (2020)
Keyphrases
- fixed point
- finite state
- model checking
- model checker
- temporal logic
- modal logic
- formal verification
- multi agent systems
- multi agent
- transition systems
- formal specification
- dynamical systems
- sufficient conditions
- formal methods
- inference rules
- policy iteration
- average cost
- concurrent systems
- belief propagation
- markov chain
- partially observable markov decision processes
- practical reasoning
- first order logic
- ai planning
- set theory
- optimal solution