On Discrete Modeling and Model Checking for Nonlinear Analog Systems
No abstract available.
Related papers
- Breaking the Mold: Nonlinear Ranking Function Synthesis Without Templates CAV 2024
- VeriLHyS: a Framework for LTL Specification and Verification of Hybrid Systems TACAS 2026
- Interpolation and Model Checking for Nonlinear Arithmetic CAV 2021
- Abstraction and Counterexample-Guided Construction of omega -Automata for Model Checking of Step-Discrete Linear Hybrid Models CAV 2007
- Hierarchical Representations of Discrete Functions, with Application to Model Checking CAV 1994
- Counterexample Generation for Discrete-Time Markov Chains Using Bounded Model Checking VMCAI 2009
- PAC Statistical Model Checking of Mean Payoff in Discrete- and Continuous-Time MDP CAV 2022
- Fast American Option Pricing using Nonlinear Stencils PPoPP 2024