Mario Srouji
According to our database1,
Mario Srouji
authored at least 8 papers
between 2018 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2023
SAFER: Safe Collision Avoidance Using Focused and Efficient Trajectory Search with Reinforcement Learning.
Proceedings of the 19th IEEE International Conference on Automation Science and Engineering, 2023
2022
CoRR, 2022
2020
2019
CoRR, 2019
Unlocking the Power of Formal Hardware Verification with CoSA and Symbolic QED: Invited Paper.
Proceedings of the International Conference on Computer-Aided Design, 2019
2018
Proceedings of the 35th International Conference on Machine Learning, 2018