Login / Signup
From abstract qualities to concrete specification using guidance policies.
Scott J. Harmon
Scott A. DeLoach
Robby
Published in:
AAMAS (2) (2009)
Keyphrases
</>
high level
state machines
state machine
higher level
optimal policy
user defined
formal verification
neural network
formal specification
knowledge level
markov decision process
transition systems