Realizability Problem for Constraint LTL.

Ashwin Bhaskar M. Praveen

Published in: TIME (2022)

Keyphrases

model checking
temporal logic
database
data sets
search engine
global constraints
expert systems
linear temporal logic
deterministic automata
search algorithm
relational databases
artificial neural networks
dynamic programming
linear constraints
bounded model checking
linear time temporal logic