Mahrokh Mirani

According to our database, Mahrokh Mirani authored at least 4 papers between 2023 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2026

Extending FRET with SLEEC Rules: Formalization, Obligation Inference, and Monitoring.

Mahrokh Mirani, Paola Inverardi, Patrizio Pelliccione, Franco Raimondi, Nicolas Troquard

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2026

2025

Towards Incorporating Normative Requirements In Autonomous Systems Using Datalog.

Mahrokh Mirani

Proceedings of the Joint Proceedings of the Workshops and Doctoral Consortium of the 41st International Conference on Logic Programming (ICLP-WS-DC 2025) co-located with 41st International Conference on Logic Programming (ICLP 2025), 2025

2024

Towards Efficient Norm-Aware Robots' Decision Making Using Datalog (Short Paper).

Mahrokh Mirani, Franco Raimondi, Nicolas Troquard

Proceedings of the 3rd Workshop on Bias, 2024

2023

Transparent Actor Model.

Fatemeh Ghassemi, Marjan Sirjani, Ehsan Khamespanah, Mahrokh Mirani, Hossein Hojjat

Proceedings of the 11th IEEE/ACM International Conference on Formal Methods in Software Engineering, 2023