Maximilien Colange

Identifiers

No identifiers captured yet.

Papers (3)

1. The 5th Reactive Synthesis Competition (SYNTCOMP 2018): Benchmarks, Participants & Results cs.LO · 2019 · author #3
2. Symbolic Optimal Reachability in Weighted Timed Automata cs.LO · 2016 · author #2
3. A CEGAR-like Approach for Cost LTL Bounds cs.LO · 2015 · author #1

Mentions

No mention provenance yet.

Frequent Coauthors

• Adam Walker 1 shared papers
• Ayrat Khalimov 1 shared papers
• Bernd Finkbeiner 1 shared papers
• Didier Buchs 1 shared papers
• Dimitri Racordon 1 shared papers
• Felix Klein 1 shared papers
• Leander Tentrup 1 shared papers
• Michael Luttenberger 1 shared papers
• Mouhammad Sakr 1 shared papers
• Nicolas Markey 1 shared papers
• Patricia Bouyer 1 shared papers
• Peter Faymonville 1 shared papers
• Philipp J. Meyer 1 shared papers
• Roderick Bloem 1 shared papers
• Salomon Sickert 1 shared papers
• Swen Jacobs 1 shared papers
• Thibaud Michaud 1 shared papers