Nir Piterman
Identifiers
- name variant Nir Piterman 0.60 · backfill
Papers (13)
- Fast Obligation Translation and Synthesis cs.FL · 2026 · author #4
- sweap: Reactive Synthesis for Infinite-State Integer Problems cs.LO · 2026 · author #3
- Symbolic Synthesis for LTLf+ Obligations cs.LO · 2026 · author #4
- Doubly Fair Parity Games cs.GT · 2023 · author #2
- Environmentally-friendly GR(1) Synthesis cs.LO · 2019 · author #2
- Coverability: Realizability Lower Bounds cs.LO · 2018 · author #2
- Combinations of Qualitative Winning for Stochastic Parity Games cs.LO · 2018 · author #2
- T2: Temporal Property Verification cs.LO · 2015 · author #5
- Synthesising Executable Gene Regulatory Networks from Single-cell Gene Expression Data cs.CE · 2015 · author #3
- Fatal Attractors in Parity Games: Building Blocks for Partial Solvers cs.LO · 2014 · author #3
- Obligation Blackwell Games and p-Automata cs.LO · 2012 · author #2
- Algorithms for B\"uchi Games cs.GT · 2008 · author #3
- From Nondeterministic B\"uchi and Streett Automata to Deterministic Parity Automata cs.LO · 2007 · author #1
Mentions
- 1505.05193 #3 · backfill · confidence 0.70 Nir Piterman
- 1405.0386 #3 · backfill · confidence 0.70 Nir Piterman
- 1206.5174 #2 · backfill · confidence 0.70 Nir Piterman
- 0805.2620 #3 · backfill · confidence 0.70 Nir Piterman
- 0705.2205 #1 · backfill · confidence 0.70 Nir Piterman
Frequent Coauthors
- Krishnendu Chatterjee 4 shared papers
- Anne-Kathrin Schmuck 2 shared papers
- Daniel Hausmann 2 shared papers
- Giuseppe De Giacomo 2 shared papers
- Alexandre Duret-Lutz 1 shared papers
- Ali Sinan K\"oksal 1 shared papers
- Byron Cook 1 shared papers
- Christian Hagemeier 1 shared papers
- Heidy Khlaaf 1 shared papers
- Irmak Sa\u{g}lam 1 shared papers
- Jasmin Fisher 1 shared papers
- Jim Huan-Pu Kuo 1 shared papers
- Luca Di Stefano 1 shared papers
- Marc Brockschmidt 1 shared papers
- Marcin Jurdzinski 1 shared papers
- Michael Huth 1 shared papers
- Moshe Y. Vardi 1 shared papers
- Rupak Majumdar 1 shared papers
- Samin Ishtiaq 1 shared papers
- Shaun Azzopardi 1 shared papers