Symbolic Computation of Schedulability Regions Using Parametric Timed Automata.

Alessandro Cimatti Luigi Palopoli Yusi Ramadian

Published in: RTSS (2008)

Keyphrases

timed automata
model checking
theorem prover
reachability analysis
automated deduction
image features
first order logic
parameter space
theorem proving
input image
image regions
data sets
d objects
medical images
image structure
knowledge representation
real time systems
machine learning