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

TOTAL DOCUMENTS

25
(FIVE YEARS 0)

H-INDEX

4
(FIVE YEARS 0)

Published By Springer International Publishing

9783319991535, 9783319991542
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals HyperPCTL: A Temporal Logic for Probabilistic Hyperproperties

2018 ◽  
pp. 20-35 ◽  
Author(s):  
Erika Ábrahám ◽  
Borzoo Bonakdarpour
Keyword(s):  
Temporal Logic

On Saturation Effects in Coupled Speed Scaling

2018 ◽  
pp. 407-422 ◽  
Author(s):  
Maryam Elahi ◽  
Carey Williamson
Keyword(s):  
Speed Scaling ◽  
Saturation Effects

scholarly journals Control and Optimization of the SRPT Service Policy by Frequency Scaling

2018 ◽  
pp. 257-272 ◽  
Author(s):  
Andrea Marin ◽  
Isi Mitrani ◽  
Maryam Elahi ◽  
Carey Williamson
Keyword(s):  
Frequency Scaling ◽  
Service Policy

scholarly journals Automated Verification of Concurrent Stochastic Games

2018 ◽  
pp. 223-239 ◽  
Author(s):  
Marta Kwiatkowska ◽  
Gethin Norman ◽  
David Parker ◽  
Gabriel Santos
Keyword(s):  
Stochastic Games ◽  
Automated Verification

Model Checking for Safe Navigation Among Humans

2018 ◽  
pp. 207-222
Author(s):  
Sebastian Junges ◽  
Nils Jansen ◽  
Joost-Pieter Katoen ◽  
Ufuk Topcu ◽  
Ruohan Zhang ◽  
...  
Keyword(s):  
Model Checking ◽  
Safe Navigation

scholarly journals LIFT: Learning Fault Trees from Observational Data

2018 ◽  
pp. 306-322 ◽  
Author(s):  
Meike Nauta ◽  
Doina Bucur ◽  
Mariëlle Stoelinga
Keyword(s):  
Observational Data ◽  
Fault Trees

Hospital Inventory Management Through Markov Decision Processes @runtime

2018 ◽  
pp. 87-103
Author(s):  
Marco Biagi ◽  
Laura Carnevali ◽  
Francesco Santoni ◽  
Enrico Vicario
Keyword(s):  
Inventory Management ◽  
Markov Decision Processes ◽  
Decision Processes ◽  
Markov Decision

scholarly journals Guaranteed Error Bounds on Approximate Model Abstractions Through Reachability Analysis

2018 ◽  
pp. 104-121 ◽  
Author(s):  
Luca Cardelli ◽  
Mirco Tribastone ◽  
Max Tschaikowski ◽  
Andrea Vandin
Keyword(s):  
Error Bounds ◽  
Approximate Model ◽  
Reachability Analysis ◽  
Guaranteed Error Bounds
Load More ...
Sign in / Sign up

Export Citation Format

Share Document