Permissive Controller Synthesis for Probabilistic Systems.

Klaus Dräger Vojtech Forejt Marta Z. Kwiatkowska David Parker Mateusz Ujma

Published in: TACAS (2014)

Keyphrases

machine learning
computer systems
neural network
genetic algorithm
feature extraction
nonlinear systems
controller synthesis