Articles with public access mandates - Nir Piterman - UK Engineering and Physical Sciences Research CouncilLearn more
Not available based on mandate: 1
A modelling framework for cyber-physical system resilience
ML Bujorianu, N Piterman
Cyber Physical Systems. Design, Modeling, and Evaluation: 5th International …, 2015
Available based on mandate: 4
Tractable probabilistic mu-calculus that expresses probabilistic temporal logics
P Castro, C Kilmurray, N Piterman
32nd International Symposium on Theoretical Aspects of Computer Science …, 2015
Safety verification of piecewise-deterministic Markov processes
R Wisniewski, C Sloth, M Bujorianu, N Piterman
Proceedings of the 19th International Conference on Hybrid Systems …, 2016
Obligation blackwell games and p-automata
K Chatterjee, N Piterman
University of Leicester, 2017
A Recursive Probabilistic Temporal Logic
PF Castro, C Kilmurray, N Piterman
Formal Methods and Software Engineering: 17th International Conference on …, 2015
Publication and funding information is determined automatically by a computer program