Nir Piterman
About Nir Piterman
My research interests include formal verification and automata theory. I have worked (and still am) on model checking of various types of systems, different aspects of temporal logic, as well as synthesis and game solving. I am also working on applications of formal methods to biological modeling.
For further information, check out my personal homepage.
-
Synthesis of Run-To-Completion Controllers for Discrete Event
Systems
Yehia Abd Alrahman, Victor Braberman, Nicolas D'Ippolito, Nir Piterman, Sebastian Uchitel
2021 American Control Conference - 2021-01-01 -
Control and Discovery of Environment
Behaviour
Maureen Keegan, Victor A. Braberman, Nicolas D'Ippolito, Nir Piterman, Sebastian Uchitel
IEEE Transactions on Software Engineering - 2020-01-01 -
Reconfigurable Interaction for MAS
Modelling
Yehia Abd Alrahman, Giuseppe Perelli, Nir Piterman
Proceedings of the 19th International Conference on Autonomous Agents and MultiAgent Systems - 2020-01-01 -
Environmentally-Friendly GR(1)
Synthesis
Rupak Majumdar, Nir Piterman, Anne Kathrin Schmuck
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) - 2019-01-01 -
Combinations of qualitative winning for stochastic parity
games
Krishnendu Chatterjee, Nir Piterman
Leibniz International Proceedings in Informatics, LIPIcs - 2019-01-01 -
Heterogeneity of Myc expression in breast cancer exposes pharmacological vulnerabilities revealed through executable mechanistic
modeling
P. Kreuzaler, M. A. Clarke, E. J. Brown, C. H. Wilson, R. M. Kortlever, Nir Piterman, T. Littlewood, G. I. Evan, J. Fisher
Proceedings of the National Academy of Sciences of the United States of America - 2019-01-01 -
Equivalence of probabilistic μ-calculus and
p-automata
Claudia Cauli, Nir Piterman
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) - 2017-01-01 -
Advances in verification presented in
TACAS’13
Nir Piterman
International Journal on Software Tools for Technology Transfer - 2017-01-01 -
Bringing LTL model checking to
biologists
Zara Ahmed, David Benque, Sergey Berezin, Anna Caroline E. Dahl, Jasmin Fisher, Benjamin A. Hall, Samin Ishtiaq, Jay Nanavati, Nir Piterman, Maik Riechert, Nikita Skoblov
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) - 2017-01-01