Uniformity for the Decidability of Hybrid Automata.

Olivier F. Roux Vlad Rusu

Published in: SAS (1996)

Keyphrases

hybrid automata
finite state automata
description logics
query answering
decision procedures
special case
knowledge base
metadata
query processing