Nir Piterman
Om Nir Piterman
Mina forskningsintressen inkluderar formell verifiering och automatteori. Jag har arbetat (och fortfarande är) om modellkontroll av olika typer av system, olika aspekter av tidsmässig logik, samt syntes och spellösning. Jag jobbar också med tillämpningar av formella metoder för biologisk modellering.
För mer information, kolla in min personliga hemsida.
Den här texten har automatiskt översatts till svenska av Google Translate.
-
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 -
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 -
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 -
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