Sign in

The tail-recursive fragment of timed recursive CTL.

Florian BruseMartin 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