Login / Signup

Fairness, assumptions, and guarantees for extended bounded response LTL+P synthesis.

Alessandro CimattiLuca GeattiNicola GiganteAngelo MontanariStefano Tonetta
Published in: Softw. Syst. Model. (2024)
Keyphrases
  • model checking
  • temporal logic
  • program synthesis
  • real world
  • game theory
  • deterministic automata
  • data sets
  • information retrieval
  • underlying assumptions
  • bounded model checking