The tail-recursive fragment of timed recursive CTL.

Florian Bruse Martin Lange

Published in: Inf. Comput. (2023)

Keyphrases

real time
petri net
recursive algorithm
iterative refinement
neural network
multiscale
datalog programs
machine learning
computer vision
data structure
model checking
recursive functions