Login / Signup
Fairness, assumptions, and guarantees for extended bounded response LTL+P synthesis.
Alessandro Cimatti
Luca Geatti
Nicola Gigante
Angelo Montanari
Stefano 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