Development of Model Checker of Dynamic Linear Hybrid Automata.

Ryo Yanase, Tatsunori Sakai, Makoto Sakai, Satoshi Yamane

Browse the full COMPSAC paper archive.