Sign in

Succinctness of Cosafety Fragments of LTL via Combinatorial Proof Systems (extended version).

Luca GeattiAlessio MansuttiAngelo Montanari
Published in: CoRR (2024)
Keyphrases
  • neural network
  • management system
  • software engineering
  • distributed systems
  • information systems
  • hidden markov models
  • knowledge based systems
  • temporal logic
  • modal logic