Abstraction of Timed Automata Based on Counterexample-Guided Abstraction Refinement Loop
IEICE Technical Report, vol.107, no.505, pp.103-108 (2008)
タグ: abstraction, timed, automata, counterexample-guided, abstraction, refinement, loop
@inproceedings{TakeshiNagaoka2008a,
author = {Takeshi Nagaoka and Kozo Okano and Shinji Kusumoto},
title = {Abstraction of Timed Automata Based on Counterexample-Guided Abstraction Refinement Loop},
booktitle = {IEICE Technical Report},
volume = {107},
number = {505},
pages = {103--108},
year = {2008},
month = {mar}
}