Login / Signup
Solving Influence Problems on the DeGroot Model with a Probabilistic Model Checking Tool.
Sotirios Gyftopoulos
Pavlos S. Efraimidis
Panagiotis Katsaros
Published in:
PCI (2016)
Keyphrases
</>
model checking
probabilistic model
model checker
finite state machines
temporal properties
formal verification
temporal logic
reactive systems
reinforcement learning
np hard
verification method
bounded model checking