Login / Signup
A Co-Synthesis Approach based on Symbolic Reachability Analysis.
Francisco Assis M. do Nascimento
Wolfgang Rosenstiel
Published in:
SBCCI (1998)
Keyphrases
</>
reachability analysis
model checking
markov decision processes
incremental algorithms
timed automata
state space
program synthesis
symbolic representation
symbolic description
temporal logic
knowledge base
expert systems
temporal constraints