Login / Signup
Two Approaches to Bounded Model Checking for a Soft Real-Time Epistemic Computation Tree Logic.
Artur Meski
Bozena Wozna-Szczesniak
Agnieszka Zbrzezny
Andrzej Zbrzezny
Published in:
DCAI (2013)
Keyphrases
</>
computation tree logic
bounded model checking
model checking
temporal logic
formal verification
linear temporal logic
multi agent systems
distributed systems
epistemic logic
search algorithm
temporal epistemic
utility function
decision problems