Ammar Karkour
According to our database1,
Ammar Karkour
authored at least 2 papers
between 2021 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
2021
2022
2023
2024
0
1
2
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
Text2Map: From Navigational Instructions to Graph-Based Indoor Map Representations Using LLMs.
Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, 2024
2021
SMLtoCoq: Automated Generation of Coq Specifications and Proof Obligations from SML Programs with Contracts.
Proceedings of the Sixteenth Workshop on Logical Frameworks and Meta-Languages: Theory and Practice, 2021