Benjamin Aminof

Identifiers

• name variant Benjamin Aminof 0.60 · backfill

Papers (4)

1. Planning and Synthesis Under Assumptions cs.LO · 2018 · author #1
2. Liveness of Parameterized Timed Networks cs.LO · 2016 · author #1
3. Satisfiability and Model Checking of CTL* with Graded Path Modalities cs.LO · 2014 · author #1
4. Parameterized Model Checking of Token-Passing Systems cs.LO · 2013 · author #1

Mentions

• 1410.7551 #1 · backfill · confidence 0.70 Benjamin Aminof
• 1311.4425 #1 · backfill · confidence 0.70 Benjamin Aminof

Frequent Coauthors

• Sasha Rubin 4 shared papers
• Aniello Murano 2 shared papers
• Ayrat Khalimov 1 shared papers
• Florian Zuleger 1 shared papers
• Francesco Spegni 1 shared papers
• Giuseppe De Giacomo 1 shared papers
• Swen Jacobs 1 shared papers