Tag
本文提出'solver-sufficient symbolization'概念，从推理算法视角定义符号的计算有用性，并开发反例引导的符号发明算法，用于混合离散-连续机器人规划，在仿真与真实机器人任务中降低求解成本同时保持解质量与可解释性。
This paper introduces RDFdL, a framework integrating RDF with Differential Dynamic Logic to enable reasoning about static knowledge and dynamic behaviors in cyber-physical systems.
SpecForge is a platform for authoring formal specifications using the Lilo temporal specification language, providing a VSCode extension with syntax highlighting, type-checking, and satisfiability analysis for hybrid systems.