HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Keyword:Satisfiability Modulo Theory

Papers
SMT-Based Translation Validation for Machine Learning Compiler
Seongwon Bang, Seunghyeon Nam, Inwhan Chun, Ho Young Jhoo and Juneyoung Lee
EasyChair Preprint no. 8632
Experiments in Verification of Linear Model Predictive Control: Automatic Generation and Formal Verification of an Interior Point Method Algorithm
Guillaume Davy, Eric Feron, Pierre-Loic Garoche and Didier Henrion
In:LPAR-22. 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning
Arrays Made Simpler: An Efficient, Scalable and Thorough Preprocessing
Benjamin Farinier, Robin David, Sébastien Bardin and Matthieu Lemerre
In:LPAR-22. 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning
On Conflict-Driven Reasoning
Maria Paola Bonacina
In:Automated Formal Methods
ProbReach: A Tool for Guaranteed Reachability Analysis of Stochastic Hybrid Systems
Fedor Shmarov and Paolo Zuliani
In:Symbolic and Numerical Methods for Reachability Analysis, 1st International Workshop, SNR 2015
Copyright © 2012-2023 easychair.org. All rights reserved.