
Flexible Framework for Quantitative Reachability Analysis
Author(s) -
Michael Ripperger
Publication year - 2019
Language(s) - Uncategorized
Resource type - Conference proceedings
DOI - 10.36288/roscon2019-900890
Subject(s) - reachability , computer science , theoretical computer science