Friedrich Kurz
- Formally Verified SAT-Based AI Planning
2020/10/27 by Mohammad Abdulaziz, Abdulaziz, Mohammad, Friedrich Kurz +1 · 2 citations
Computer Science · #AI-based Problem Solving and Planning #Logic, programming, and type systems #Formal Methods in Verification