Model Checking Discounted Temporal Properties
Abstract elided by the publisher.
Related papers
- Policy Synthesis and Reinforcement Learning for Discounted LTL CAV 2023
- Discounting in LTL TACAS 2014
- Safety and Co-safety Comparator Automata for Discounted-Sum Inclusion CAV 2019
- Bounded model checking of signal temporal logic properties using syntactic separation POPL 2019
- Faster Statistical Model Checking for Unbounded Temporal Properties TACAS 2016
- Symmetry and reduced symmetry in model checking TOPLAS 2004
- Bayesian Statistical Parameter Synthesis for Linear Temporal Properties of Stochastic Models TACAS 2018
- A foundation for flow-based program matching: using temporal logic and model checking POPL 2009