C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Compositional safety rules for inter-triggering hybrid automata.
Kwesi J. Rutledge
Glen Chou
Necmiye Ozay
Published in:
HSCC (2021)
Keyphrases
</>
hybrid automata
active databases
active rules
production rules
termination analysis
database systems
association rule mining
decision rules
integrity constraints
rule sets
finite state automata
hidden markov models
object oriented