Articles with public access mandates - Nir Piterman - Swedish Research CouncilLearn more
NoteFor this mandate, articles should be available from specific locations.
Not available based on mandate: 1
R-CHECK: A Model Checker for Verifying Reconfigurable MAS.
Y Abd Alrahman, S Azzopardi, N Piterman
AAMAS, 1518-1520, 2022
Available based on mandate: 6
Modelling and verification of reconfigurable multi-agent systems
Y Abd Alrahman, N Piterman
Autonomous Agents and Multi-Agent Systems 35 (2), 1-36, 2021
Model checking reconfigurable interacting systems
Y Abd Alrahman, S Azzopardi, N Piterman
International Symposium on Leveraging Applications of Formal Methods, 373-389, 2022
A PO Characterisation of Reconfiguration
Y Abd Alrahman, M Martel, N Piterman
International Colloquium on Theoretical Aspects of Computing, 42-59, 2022
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
Language support for verifying reconfigurable interacting systems
YA Alrahman, S Azzopardi, L Di Stefano, N Piterman
International Journal on Software Tools for Technology Transfer 25 (5), 765-784, 2023
ppLTLTT : Temporal Testing for Pure-Past Linear Temporal Logic Formulae
S Azzopardi, D Lidell, N Piterman, G Schneider
International Symposium on Automated Technology for Verification and …, 2023
Publication and funding information is determined automatically by a computer program