Symbolic analysis of hybrid systems involving numerous discrete changes using loop detection
['Kenichi Betsuno', 'Shota Matsumoto', 'Kazunori Ueda']
Symbolic analysis of hybrid systems involving numerous discrete changes using loop detection