One-Pass Context-Based Tableaux Systems for CTL and ECTL.

Alex Abuin Alexander Bolotov Montserrat Hermo Paqui Lucio

Published in: TIME (2020)

Keyphrases

distributed systems
website
bayesian networks
knowledge based systems
model checking
real time
data sets
machine learning
computer vision
expert systems
relational databases
mobile robot
complex systems
functional dependencies
temporal logic