Alberto Camacho

Identifiers

No identifiers captured yet.

Papers (2)

1. Finite LTL Synthesis with Environment Assumptions and Quality Measures cs.LO · 2018 · author #1
2. Finite LTL Synthesis is EXPTIME-complete cs.LO · 2016 · author #2

Mentions

No mention provenance yet.

Frequent Coauthors

• Sheila A. McIlraith 2 shared papers
• Christian Muise 1 shared papers
• Jorge A. Baier 1 shared papers
• Meghyn Bienvenu 1 shared papers