-calculus on abstractions of hybrid automata.

Kerstin Bauer Raffaella Gentilini Klaus Schneider

Published in: Int. J. Softw. Tools Technol. Transf. (2011)

Keyphrases

hybrid automata
finite state automata
high level
computer algebra
algebraic structure
heuristic search
lower bound
admissible heuristics