C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
A Monitoring Tool for a Branching-Time Logic.
Duncan Paul Attard
Adrian Francalanza
Published in:
RV (2016)
Keyphrases
</>
epistemic logic
monitoring system
temporal logic
model checking
real time
modal logic
classical logic
social networks
logic programming
early warning
deontic logic
neural network
search engine
user friendly
asynchronous circuits
tool wear