Articles with public access mandates - Nir Piterman - Government of ArgentinaLearn more
NoteFor this mandate, articles should be available from specific locations.
Available based on mandate: 6
Interaction models and automated control under partial observable environments
D Ciolek, V Braberman, N D’Ippolito, N Piterman, S Uchitel
IEEE Transactions on Software Engineering 43 (1), 19-33, 2016
Control and discovery of environment behaviour
M Keegan, V Braberman, N D'Ippolito, N Piterman, S Uchitel
IEEE Transactions on Software Engineering 48 (6), 1965-1978, 2020
Synthesis of run-to-completion controllers for discrete event systems
Y Abd Alrahman, V Braberman, N D'Ippolito, N Piterman, S Uchitel
2021 American Control Conference (ACC), 4892-4899, 2021
Control and Discovery of Reactive System Environments
N Piterman, M Keegan, V Braberman, N D'Ippolito, S Uchitel
University of Leicester, 2020
Interaction Models and Automated Control under Partial Observable Environments
V Braberman, N D'Ippolito, N Piterman, S Uchitel, D Ciolek
University of Leicester, 2016
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