The Tail-Recursive Fragment of Timed Recursive CTL.

Florian Bruse Martin Lange Étienne Lozes

Published in: TIME (2022)

Keyphrases

recursive algorithm
machine learning
model checking
temporal logic
recursive functions
databases
neural network
information retrieval