search result

Cover von Quantitative Evaluation of Systems
18th International Conference, QEST 2021, Paris, France, August 23 - 27, 2021, Proceedings
Search for this author
Year: 2021
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 12846
Media group: MONOGRAPHIE
Cover von Formal Modeling and Analysis of Timed Systems
15th International Conference, FORMATS 2017, Berlin, Germany, September 5 - 7, 2017, Proceedings
Search for this author
Year: 2017
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science; 10419
Media group: MONOGRAPHIE
Cover von Numerical Software Verification
10th International Workshop, NSV 2017, Heidelberg, Germany, July 22 - 23, 2017, Proceedings
Search for this author
Year: 2017
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science; 10381
Media group: MONOGRAPHIE
Cover von Hybrid Systems Biology
Fourth International Workshop, HSB 2015, Madrid, Spain, September 4 - 5, 2015 : Revised Selected Papers
Search for this author
Year: 2015
Publisher: Heidelberg, Springer
Series: Lecture notes in bioinformatics; 9271
Media group: MONOGRAPHIE
Cover von Complete ω-Regular Supermartingale Certificates

Complete ω-Regular Supermartingale Certificates

Year: 2026
Media group: LIPIcs
Cover von Computational Methods in Systems Biology
18th International Conference, CMSB 2020, Konstanz, Germany, September 23 - 25, 2020, Proceedings
Search for this author
Year: 2020
Publisher: Heidelberg, Springer
Series: Lecture notes in bioinformatics; 12314
Media group: MONOGRAPHIE
Cover von SMT-Based Model Checking of Max-Plus Linear Systems

SMT-Based Model Checking of Max-Plus Linear Systems

Year: 2021
Media group: LIPIcs
Cover von Quantitative Verification with Neural Networks

Quantitative Verification with Neural Networks

Year: 2023
Media group: LIPIcs
Cover von Dynamic Bayesian Networks as Formal Abstractions of Structured Stochastic Processes

Dynamic Bayesian Networks as Formal Abstractions of Structured Stochastic Processes

Year: 2015
Media group: LIPIcs
Cover von Modeling, Verification, and Control of Complex Systems for Energy Networks; 10
pp. 69-97
Search for this author
Year: 2015
Publisher: Wadern, LZI
Dagstuhl Reports
Count: 10
Media group: DAGSTUHL REPORT
OPEN V 11.1.0.0