On the Scalability of Description Logic Instance Retrieval
Differential Dynamic Logic for Hybrid Systems