Realizability problem for constraint LTL.

Ashwin Bhaskar M. Praveen

Published in: Inf. Comput. (2024)

Keyphrases

model checking
temporal logic
deterministic automata
information systems
constrained minimization
bounded model checking
computer vision
database
databases
real world
learning algorithm
search engine
social networks
image processing
case study