Communities
Connect sessions
AI calendar
Organizations
Join Slack
Contact Sales
Search
Open menu
Home
Papers
1707.01322
Cited By
Automated Experiment Design for Data-Efficient Verification of Parametric Markov Decision Processes
5 July 2017
Elizabeth Polgreen
V. B. Wijesuriya
S. Haesaert
Alessandro Abate
Re-assign community
ArXiv (abs)
PDF
HTML
Papers citing
"Automated Experiment Design for Data-Efficient Verification of Parametric Markov Decision Processes"
2 / 2 papers shown
Efficient Sensitivity Analysis for Parametric Robust Markov Chains
International Conference on Computer Aided Verification (CAV), 2023
Thom S. Badings
Sebastian Junges
Ahmadreza Marandi
Ufuk Topcu
N. Jansen
215
2
0
01 May 2023
Data-Driven Verification under Signal Temporal Logic Constraints
Ali Salamati
Sadegh Soudjani
Majid Zamani
251
16
0
08 May 2020
1
Page 1 of 1
