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.
-
Combinations of qualitative winning for stochastic parity
games
Krishnendu Chatterjee, Nir Piterman
Leibniz International Proceedings in Informatics, LIPIcs - 2019-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 -
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