Christian Pardillo Laursen

Publication Activity (10 Years)

Years Active: 2021-2024
Publications (10 Years): 3

Top Topics

Computer Algebra

Theorem Proving

First Order Logic

Inference Rules

Top Venues

Publications

Jonathan Julián Huerta y Munive, Simon Foster, Mario Gleirscher, Georg Struth, Christian Pardillo Laursen, Thomas Hickman
Scalable Automated Verification for Cyber-Physical Systems in Isabelle/HOL. CoRR (2024)
Stefan Mitsch, Bohua Zhan, Huanhuan Sheng, Alexander Bentkamp, Xiangyu Jin, Shuling Wang, Simon Foster, Christian Pardillo Laursen, Jonathan Julián Huerta y Munive
ARCH-COMP22 Category Report: Hybrid Systems Theorem Proving. ARCH@SAFECOMP (2022)
Thomas Hickman, Christian Pardillo Laursen, Simon Foster
Certifying Differential Equation Solutions from Computer Algebra Systems in Isabelle/HOL. CoRR (2021)