A generic approach to quantitative verification - go to homepage
Toggle Navigation
Home
News
Publications
Seminars
Seminars of the Artificial Intelligence group
Seminars of the Automata group
Seminars of the Image processing and pattern recognition group
Seminars of the Security and Systems group
Groups
Artificial intelligence
Automata and applications
Digital methods for humanities and social sciences
Image processing and pattern recognition
Security and systems
Projects
Axes
Machine learning and applications
Robotics
Software and performance
People
A generic approach to quantitative verification
Abstract
Authors
Uli Fahrenberg
Where
Place
Paper
fahrenberg.22.hdr.pdf
Date
2022-05-01
Copyright (c) 2022, LRE; all rights reserved.
Template by
Bootstrapious
. Ported to Hugo by
DevCows
.
