papers
Publications (10)
cs.LO2007
From Nondeterministic Büchi and Streett Automata to Deterministic Parity Automata
Nir Piterman
cs.CE2018
Synthesising Executable Gene Regulatory Networks from Single-cell Gene Expression Data
Jasmin Fisher, Ali Sinan Köksal, Nir Piterman +1
cs.LO2018
Coverability: Realizability Lower Bounds
Krishnendu Chatterjee, Nir Piterman
cs.GT2013
The Rabin index of parity games
Michael Huth, Jim Huan-Pu Kuo, Nir Piterman
cs.LO2018
Combinations of Qualitative Winning for Stochastic Parity Games
Krishnendu Chatterjee, Nir Piterman
cs.GT2008
Algorithms for Büchi Games
Krishnendu Chatterjee, Thomas A. Henzinger, Nir Piterman
cs.LO2016
T2: Temporal Property Verification
Marc Brockschmidt, Byron Cook, Samin Ishtiaq +2
cs.LO2013
Obligation Blackwell Games and p-Automata
Krishnendu Chatterjee, Nir Piterman
cs.LO2014
Fatal Attractors in Parity Games: Building Blocks for Partial Solvers
Michael Huth, Jim Huan-Pu Kuo, Nir Piterman
cs.LO2019
Environmentally-friendly GR(1) Synthesis
Rupak Majumdar, Nir Piterman, Anne-Kathrin Schmuck