Sign in

Expressiveness of Extended Bounded Response LTL.

Alessandro CimattiLuca GeattiNicola GiganteAngelo MontanariStefano Tonetta
Published in: GandALF (2021)
Keyphrases
  • expressive power
  • model checking
  • linear temporal logic
  • database
  • neural network
  • temporal logic