Dynamic Real-Time CEGAR: Sound Abstraction Refinement for Timed Automata with Run-Time Creation and Destruction
Year: 2026
Type: preprint
Abstract: This file is a preprint of the paper and its implementation.
Author: Yamane, Satoshi
Institution: Shimonoseki City University
Language: English
Subfield: Computational Theory and Mathematics
Field: Computer Science
Domain: Physical Sciences
Open Access status: green
OpenAlex ID: W7225424886