Robust Probabilistic Temporal Logics.

Martin Zimmermann

Published in: CoRR (2023)

Keyphrases

temporal logic
model checking
concurrent systems
modal logic
bayesian networks
satisfiability problem
mazurkiewicz traces
knowledge representation
predicate logic
temporal resolution
temporal knowledge
information flow
verification method
transition systems