Sign in
Expressiveness of Extended Bounded Response LTL.
Alessandro Cimatti
Luca Geatti
Nicola Gigante
Angelo Montanari
Stefano Tonetta
Published in:
GandALF (2021)
Keyphrases
</>
expressive power
model checking
linear temporal logic
database
neural network
temporal logic