Sign in

Past Matters: Supporting LTL+Past in the BLACK Satisfiability Checker.

Luca GeattiNicola GiganteAngelo MontanariGabriele Venturato
Published in: TIME (2021)
Keyphrases
  • real world
  • temporal logic
  • bounded model checking
  • databases
  • machine learning
  • information retrieval
  • website