HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Keyword:abstraction

Papers
Generating Custom Set Theories with Non-Set Structured Objects
Ciarán Dunne, Joe Wells and Fairouz Kamareddine
EasyChair Preprint no. 5663
Analysis of Real-Time Control Systems using First-Order Continuization
Maximilian Gaukler
In:ARCH20. 7th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH20)
Counterexample-Guided Abstraction-Refinement for Hybrid Systems Diagnosability Analysis
Hadi Zaatiti, Lina Ye, Philippe Dague and Jean-Pierre Gallois
In:28th International Workshop on Principles of Diagnosis (DX'17)
Generic CDCL -- A Formalization of Modern Propositional Satisfiability Solvers
Steffen Hölldobler, Norbert Manthey, Tobias Philipp and Peter Steinke
In:POS-14. Fifth Pragmatics of SAT workshop
Copyright © 2012-2023 easychair.org. All rights reserved.