Fortunat Rajaona

Orcid: 0000-0003-4902-9800

Affiliations:
  • University of Surrey, UK


According to our database1, Fortunat Rajaona authored at least 6 papers between 2022 and 2025.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

2022
2023
2024
2025
0
1
2
3
4
1
1
1
3

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2025
An SMT-Based Approach to the Verification of Knowledge-Based Programs.
Formal Aspects Comput., 2025

2024
Epistemic Model Checking for Privacy.
Proceedings of the 37th IEEE Computer Security Foundations Symposium, 2024

2023
Fine-Grained Trackability in Protocol Executions.
Proceedings of the 30th Annual Network and Distributed System Security Symposium, 2023

Program Semantics and Verification Technique for AI-Centred Programs.
Proceedings of the Formal Methods - 25th International Symposium, 2023

Automatically Verifying Expressive Epistemic Properties of Programs.
Proceedings of the Thirty-Seventh AAAI Conference on Artificial Intelligence, 2023

2022
Program Semantics and a Verification Technique for Knowledge-Based Multi-Agent Systems.
CoRR, 2022


  Loading...