Approximate Active Learning of Nondeterministic Input Output Transition Systems.
Michele VolpatoJan TretmansPublished in: Electron. Commun. Eur. Assoc. Softw. Sci. Technol. (2015)
Keyphrases
- input output
- transition systems
- active learning
- finite state
- model checking
- fully observable
- temporal logic
- concurrent systems
- markov decision processes
- markov chain
- practical reasoning
- control flow
- internal states
- data envelopment analysis
- learning algorithm
- reactive systems
- training set
- fuzzy controller
- petri net
- machine learning
- partially observable markov decision processes
- state transition
- hidden markov models
- ibm zenterprise