search result

Cover von The Variance-Penalized Stochastic Shortest Path Problem

The Variance-Penalized Stochastic Shortest Path Problem

Year: 2022
Media group: LIPIcs
Cover von Foundations of Software Science and Computation Structures
21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14 - 20, 2018, Proceedings
Search for this author
Year: 2018
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science : ARCoSS; 10803
Media group: MONOGRAPHIE
Cover von Principles of Formal Quantitative Analysis
Essays Dedicated to Christel Baier on the Occasion of Her 60th Birthday
Search for this author
Year: 2026
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science : Festschrift; 15760
Media group: MONOGRAPHIE
Cover von A Spectrum of Approximate Probabilistic Bisimulations

A Spectrum of Approximate Probabilistic Bisimulations

Year: 2024
Media group: LIPIcs
Cover von Entropic Risk for Turn-Based Stochastic Games

Entropic Risk for Turn-Based Stochastic Games

Year: 2023
Media group: LIPIcs
Cover von Quantified Linear Temporal Logic over Probabilistic Systems with an Application to Vacuity Checking

Quantified Linear Temporal Logic over Probabilistic Systems with an Application to Vacuity Checking

Year: 2021
Media group: LIPIcs
Cover von Front Matter, Table of Contents, Preface, Conference Organization

Front Matter, Table of Contents, Preface, Conference Organization

Year: 2021
Media group: LIPIcs
Cover von LIPIcs, Volume 183, CSL 2021, Complete Volume

LIPIcs, Volume 183, CSL 2021, Complete Volume

Year: 2021
Media group: LIPIcs
Cover von 29th EACSL Annual Conference on Computer Science Logic
CSL 2021 : January 25 - 28, 2021, Ljubljana, Slovenia (Virtual Conference)
Search for this author
Year: 2021
Publisher: Wadern, LZI
Series: Leibniz International Proceedings in Informatics; 183
Media group: LIPIcs
Cover von LIPIcs, Volume 132, ICALP'19, Complete Volume

LIPIcs, Volume 132, ICALP'19, Complete Volume

Year: 2019
Media group: LIPIcs
OPEN V 11.1.0.0