Ingy Elsayed-Aly

Orcid: 0000-0003-0623-2323

According to our database1, Ingy Elsayed-Aly authored at least 7 papers between 2020 and 2024.

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

Timeline

2020
2021
2022
2023
2024
0
1
2
3
1
1
1
1
1
2

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Adaptive Reward Design for Reinforcement Learning in Complex Robotic Tasks.
CoRR, 2024

Distributional Probabilistic Model Checking.
Proceedings of the NASA Formal Methods - 16th International Symposium, 2024

2023
Artifact for: Distributional Probabilistic Model Checking.
Dataset, September, 2023

Artifact for: Distributional Probabilistic Model Checking.
Dataset, September, 2023

2022
Logic-based Reward Shaping for Multi-Agent Reinforcement Learning.
CoRR, 2022

2021
Safe Multi-Agent Reinforcement Learning via Shielding.
Proceedings of the AAMAS '21: 20th International Conference on Autonomous Agents and Multiagent Systems, 2021

2020
Evaluating the Dedicated Short-range Communication for Connected Vehicles against Network Security Attacks.
Proceedings of the 6th International Conference on Vehicle Technology and Intelligent Transport Systems, 2020


  Loading...