On Sampling Abstraction of Continuous Time Logic with Durations
No abstract available.
Related papers
- Digitizing Interval Duration Logic CAV 2003
- Deciding an Interval Logic with Accumulated Durations TACAS 2007
- Bounded Validity Checking of Interval Duration Logic TACAS 2005
- Instant profiling: Instrumentation sampling for profiling datacenter applications CGO 2013
- On Feller continuity and full abstraction ICFP 2022
- Probabilistic Duration Automata for Analyzing Real-Time Systems TACAS 1996
- Learning nonlinear loop invariants with gated continuous logic networks PLDI 2020
- A Probabilistic Logic for Verifying Continuous-time Markov Chains TACAS 2022