Nir Piterman
Computational Theory and Mathematics · 2006–2007
A researcher in the Science corpus: 3 papers; trusts 2 researchers and is trusted by 0 researchers here, as inferred from the citation graph.
Subfields
- Computational Theory and Mathematics — 7 citations into it
- Software — 6 citations into it
- Artificial Intelligence — 5 citations into it
Whom Nir Piterman trusts overall
Their strongest outbound trust, strongest first, inferred from their citations.
Papers from Nir Piterman's perspective
Ordered by how strongly the researchers Nir Piterman trusts endorse each paper. Same corpus, a different order for every researcher.
- On the synthesis of a reactive module
- Small Progress Measures for Solving Parity Games (Symposium on Theoretical Aspects of Computer Science)
- Design and Synthesis of Synchronization Skeletons Using Branching Time Temporal Logic (25 Years of Model Checking)
- Bounded synthesis (International Journal on Software Tools for Technology Transfer (STTT))
- Equilibrium Points in N-Person Games.
- Reading Digits in Natural Images with Unsupervised Feature Learning
- Unbiased look at dataset bias
- Evasion Attacks against Machine Learning at Test Time
- Calibrating Energy-based Generative Adversarial Networks
- Deep Learning without Poor Local Minima
Their papers
- Synthesis of Reactive(1) designs (2006) — 882 citations
- Strategy logic (2007) — 346 citations
- From Nondeterministic Buchi and Streett Automata to Deterministic Parity Automata (2006) — 331 citations