Quantitative Evaluation of Systems - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

21
(FIVE YEARS 21)

H-INDEX

2
(FIVE YEARS 2)

Published By Springer International Publishing

9783030302801, 9783030302818
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals SOS: Safe, Optimal and Small Strategies for Hybrid Markov Decision Processes

2019 ◽  
pp. 147-164 ◽  
Author(s):  
Pranav Ashok ◽  
Jan Křetínský ◽  
Kim Guldstrand Larsen ◽  
Adrien Le Coënt ◽  
Jakob Haahr Taankvist ◽  
...  
Keyword(s):  
Markov Decision Processes ◽  
Decision Processes ◽  
Markov Decision

scholarly journals UTOPIC: Under-Approximation Through Optimal Control

2019 ◽  
pp. 277-291
Author(s):  
Josu Doncel ◽  
Nicolas Gast ◽  
Mirco Tribastone ◽  
Max Tschaikowski ◽  
Andrea Vandin
Keyword(s):  
Optimal Control
Load More ...
Sign in / Sign up

Export Citation Format

Share Document