Turnitin
降AI改写
早检测系统
早降重系统
Turnitin-UK版
万方检测-期刊版
维普编辑部版
Grammarly检测
Paperpass检测
checkpass检测
PaperYY检测
Formally verified differential dynamic logic
We formalize the soundness theorem for differential dynamic logic, a logic for verifying
hybrid systems. To increase confidence in the formalization, we present two versions: one in …
hybrid systems. To increase confidence in the formalization, we present two versions: one in …
Intersymbolic AI: Interlinking symbolic AI and subsymbolic AI
A Platzer - International Symposium on Leveraging Applications of …, 2024 - Springer
This perspective piece calls for the study of the new field of Intersymbolic AI, by which we
mean the combination of symbolic AI, whose building blocks have inherent …
mean the combination of symbolic AI, whose building blocks have inherent …
Uniform substitution for differential refinement logic
This paper introduces a uniform substitution calculus for differential refinement logic dRL.
The logic dRL extends the differential dynamic logic dL such that one can simultaneously …
The logic dRL extends the differential dynamic logic dL such that one can simultaneously …
Provably safe neural network controllers via differential dynamic logic
Embedding differential dynamic logic in PVS
JT Slagel, M Moscato, L White, CA Muñoz… - arxiv preprint arxiv …, 2024 - arxiv.org
Differential dynamic logic (dL) is a formal framework for specifying and reasoning about
hybrid systems, ie, dynamical systems that exhibit both continuous and discrete behaviors …
hybrid systems, ie, dynamical systems that exhibit both continuous and discrete behaviors …