Nir Piterman

Available identifiers

zbMath Open piterman.nirWikidataQ55816279 ScholiaQ55816279MaRDI QIDQ439953

List of research outcomes

Publication	Date of Publication	Type
A survey on satisfiability checking for the \(\mu \)-calculus through tree automata	2023-08-10	Paper
Combinations of Qualitative Winning for Stochastic Parity Games	2023-02-03	Paper
Actions over core-closed knowledge bases	2022-12-07	Paper
Incorporating monitors in reactive synthesis without paying the price	2022-06-22	Paper
https://portal.mardi4nfdi.de/entity/Q4992505	2021-06-09	Paper
Finding recurrent sets with backward analysis and trace partitioning	2019-09-17	Paper
Fairness for Infinite-State Systems	2019-09-17	Paper
Temporal Logic and Fair Discrete Systems	2018-07-20	Paper
Verifying Increasingly Expressive Temporal Logics for Infinite-State Systems	2018-05-17	Paper
On automation of \(\mathsf{CTL}^*\) verification for infinite-state systems	2018-03-01	Paper
Equivalence of probabilistic \(\mu\)-calculus and p-automata	2017-08-22	Paper
OBLIGATION BLACKWELL GAMES AND P-AUTOMATA	2017-08-03	Paper
Safety Verification of Piecewise-Deterministic Markov Processes	2017-05-19	Paper
Tractable Probabilistic mu-Calculus That Expresses Probabilistic Temporal Logics	2017-01-24	Paper
Static Analysis of Parity Games: Alternating Reachability Under Parity	2016-03-23	Paper
The Rabin index of parity games: its complexity and approximation	2015-12-07	Paper
Synthesis of biological models from mutation experiments	2014-11-27	Paper
https://portal.mardi4nfdi.de/entity/Q2849589	2013-09-20	Paper
Fatal Attractors in Parity Games	2013-03-18	Paper
The Modal Transition System Control Problem	2012-11-08	Paper
Synthesis of Reactive(1) designs	2012-08-17	Paper
Effective Synthesis of Asynchronous Systems from GR(1) Specifications	2012-06-15	Paper
Dynamic Reactive Modules	2011-09-02	Paper
Proving Stabilization of Biological Systems	2011-02-15	Paper
From Mtl to Deterministic Timed Automata	2010-09-10	Paper
An Automata-Theoretic Approach to Infinite-State Systems	2010-09-07	Paper
Strategy logic	2010-06-25	Paper
Computer Aided Verification	2010-04-20	Paper
Computer Aided Verification	2010-04-20	Paper
Verification: Theory and Practice	2010-03-23	Paper
From liveness to promptness	2009-11-23	Paper
Three-Valued Abstractions of Markov Chains: Completeness for a Sizeable Fragment of PCTL	2009-10-20	Paper
Verification, Model Checking, and Abstract Interpretation	2009-05-15	Paper
Lower Bounds on Witnesses for Nonemptiness of Universal Co-Büchi Automata	2009-03-31	Paper
Solving Games Without Determinization	2009-03-12	Paper
Inferring Network Invariants Automatically	2009-03-12	Paper
LTL Generalized Model Checking Revisited	2009-02-10	Paper
Strategy Logic	2008-09-18	Paper
Bounded Asynchrony: Concurrency for Modeling Cell-Cell Interactions	2008-06-17	Paper
From Liveness to Promptness	2007-11-29	Paper
From Nondeterministic B\"uchi and Streett Automata to Deterministic Parity Automata	2007-11-15	Paper
Tools and Algorithms for the Construction and Analysis of Systems	2007-09-28	Paper
Generalized Parity Games	2007-09-07	Paper
Safraless Compositional Synthesis	2007-09-05	Paper
Minimizing Generalized Büchi Automata	2007-09-05	Paper
Verification, Model Checking, and Abstract Interpretation	2007-02-12	Paper
Computational Methods in Systems Biology	2005-12-23	Paper
Computer Aided Verification	2005-08-25	Paper
Bridging the gap between fair simulation and trace inclusion	2005-08-05	Paper
https://portal.mardi4nfdi.de/entity/Q4472441	2004-08-04	Paper
https://portal.mardi4nfdi.de/entity/Q4428305	2003-09-15	Paper
From bidirectionality to alternation.	2003-08-17	Paper
https://portal.mardi4nfdi.de/entity/Q4804910	2003-05-01	Paper
https://portal.mardi4nfdi.de/entity/Q4791853	2003-02-03	Paper
https://portal.mardi4nfdi.de/entity/Q4779176	2002-11-25	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Nir Piterman