Login / Signup
Exogenous Probabilistic Computation Tree Logic.
Pedro Baltazar
Paulo Mateus
Rajagopal Nagarajan
Nikolaos Papanikolaou
Published in:
Electron. Notes Theor. Comput. Sci. (2007)
Keyphrases
</>
computation tree logic
model checking
temporal logic
probabilistic model
probabilistic logic
probability theory
bayesian networks
temporal properties
bounded model checking
cooperative
multi agent systems
incomplete information