Login / Signup

A General Automata Model for First-Order Temporal Logics (Extended Version).

Luca GeattiAlessandro GianolaNicola Gigante
Published in: CoRR (2024)
Keyphrases
  • temporal logic
  • probabilistic model
  • special case
  • higher order
  • conceptual model