Synthese zeitlich robuster Strategien für Aufgaben mit Signaltemporaler Logik unter Verwendung von Reinforcement Learning
Das Ziel dieser Arbeit ist es, Steuerungsstrategien zu synthetisieren, die zeitliche Robustheit für Aufgaben mit Signaltemporaler Logik in unbekannten, stochastischen Umgebungen aufweisen. Dazu werden zwei relevante Steuerungsziele formuliert, um die zeitliche Robustheit der synthetisierten Strategien zu erhöhen.
