Picture for Marie Fortin

Marie Fortin

Reverse Engineering of Temporal Queries Mediated by LTL Ontologies

Add code
May 04, 2023
Viaarxiv icon