A Complete Fragment of LTL(EB).

Flavio Ferrarotti Peter Rivière Klaus-Dieter Schewe Neeraj Kumar Singh Yamine Aït Ameur

Published in: FoIKS (2024)

Keyphrases

model checking
service quality
temporal logic
linear temporal logic
real time
information retrieval
website
search algorithm
artificial neural networks
bounded model checking