pith. sign in

Nir Piterman

Identifiers

  • name variant Nir Piterman 0.60 · backfill

Papers (13)

  1. Fast Obligation Translation and Synthesis cs.FL · 2026 · author #4
  2. sweap: Reactive Synthesis for Infinite-State Integer Problems cs.LO · 2026 · author #3
  3. Symbolic Synthesis for LTLf+ Obligations cs.LO · 2026 · author #4
  4. Doubly Fair Parity Games cs.GT · 2023 · author #2
  5. Environmentally-friendly GR(1) Synthesis cs.LO · 2019 · author #2
  6. Coverability: Realizability Lower Bounds cs.LO · 2018 · author #2
  7. Combinations of Qualitative Winning for Stochastic Parity Games cs.LO · 2018 · author #2
  8. T2: Temporal Property Verification cs.LO · 2015 · author #5
  9. Synthesising Executable Gene Regulatory Networks from Single-cell Gene Expression Data cs.CE · 2015 · author #3
  10. Fatal Attractors in Parity Games: Building Blocks for Partial Solvers cs.LO · 2014 · author #3
  11. Obligation Blackwell Games and p-Automata cs.LO · 2012 · author #2
  12. Algorithms for B\"uchi Games cs.GT · 2008 · author #3
  13. 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