Login / Signup

On first-order runtime enforcement of branching-time properties.

Luca AcetoIan CassarAdrian FrancalanzaAnna Ingólfsdóttir
Published in: Acta Informatica (2023)
Keyphrases
  • temporal logic
  • higher order
  • first order logic
  • temporal reasoning
  • topological properties
  • neural network
  • relational databases
  • model checking
  • probabilistic logic
  • quantifier elimination