Sign in

Fairness, Assumptions, and Guarantees for Extended Bounded Response LTL+P Synthesis.

Alessandro CimattiLuca GeattiNicola GiganteAngelo MontanariStefano Tonetta
Published in: SEFM (2021)
Keyphrases
  • neural network
  • database
  • video sequences
  • model checking
  • temporal logic
  • program synthesis
  • simplifying assumptions
  • bounded model checking
  • data sets
  • search algorithm
  • hidden markov models
  • underlying assumptions