Hierarchical Representations of Discrete Functions, with Application to Model Checking
No abstract available.
Related papers
- On Discrete Modeling and Model Checking for Nonlinear Analog Systems CAV 2002
- Abstraction and Counterexample-Guided Construction of omega -Automata for Model Checking of Step-Discrete Linear Hybrid Models CAV 2007
- Improved Model Checking of Hierarchical Systems VMCAI 2010
- Counterexample Generation for Discrete-Time Markov Chains Using Bounded Model Checking VMCAI 2009
- Hierarchical Compression for Model-Checking CSP or How to Check 1020 Dining Philosophers for Deadlock TACAS 1995
- Model checking of hierarchical state machines TOPLAS 2001
- Neuro-symbolic Hierarchical Learning for Long-Horizon Robotic Tasks PLDI 2026
- PAC Statistical Model Checking of Mean Payoff in Discrete- and Continuous-Time MDP CAV 2022