scientific article
From MaRDI portal
Publication:2849590
zbMath1272.68220MaRDI QIDQ2849590
Alessandro Cimatti, Roberto Sebastiani, Gilles Audemard, Marco Bozzano
Publication date: 20 September 2013
Full work available at URL: http://www.sciencedirect.com/science/article/pii/S1571066105000885
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (20)
Exact Incremental Analysis of Timed Automata with an SMT-Solver ⋮ Planning as satisfiability: heuristics ⋮ HySAT: An efficient proof engine for bounded model checking of hybrid systems ⋮ Optimization Modulo Theories with Linear Rational Costs ⋮ Formal Modelling, Analysis and Verification of Hybrid Systems ⋮ Verification Modulo theories ⋮ Bounded Verification of Reachability of Probabilistic Hybrid Systems ⋮ Stochastic Satisfiability Modulo Theory: A Novel Technique for the Analysis of Probabilistic Hybrid Systems ⋮ SMT-based scenario verification for hybrid systems ⋮ SAT Modulo ODE: A Direct SAT Approach to Hybrid Systems ⋮ SAT-LP-IIS joint-directed path-oriented bounded reachability analysis of linear hybrid automata ⋮ Quantifier-free encoding of invariants for hybrid systems ⋮ Processes and continuous change in a SAT-based planner ⋮ Constraint-based analysis of concurrent probabilistic hybrid systems: an application to networked automation systems ⋮ Engineering constraint solvers for automatic analysis of probabilistic hybrid automata ⋮ Challenges in Constraint-Based Analysis of Hybrid Systems ⋮ Efficient Interpolant Generation in Satisfiability Modulo Theories ⋮ Costs and rewards in priced timed automata ⋮ Automated generation of hybrid automata for multi-rigid-body mechanical systems and its application to the falsification of safety properties ⋮ Towards an Efficient Path-Oriented Tool for Bounded Reachability Analysis of Linear Hybrid Systems using Linear Programming
Uses Software
This page was built for publication: