Open AccessFormal Semantics and Formally Verified Validation for Temporal Planning
Author(s) -
Mohammad Abdulaziz,
Lukas Koller
Publication year - 2022
Publication title -
proceedings of the ... aaai conference on artificial intelligence
Language(s) - English
Resource type - Journals
eISSN - 2374-3468
pISSN - 2159-5399
DOI - 10.1609/aaai.v36i9.21197
Subject(s) - hol , semantics (computer science) , computer science , formal semantics (linguistics) , programming language , operational semantics , automated theorem proving , temporal logic , formal verification , proof assistant , action semantics , formal methods , theoretical computer science , algorithm , denotational semantics , mathematics , mathematical proof , geometry