Publications
] .
2018. ARCH-COMP18 Category Report: Stochastic Modelling. ARCH18. 5th International Workshop on Applied Verification of Continuous and Hybrid Systems. 54:71-103.
.
2018. Temporal Logic Control of General Markov Decision Processes by Approximate Policy Refinement. IFAC Conference on Analysis and Design of Hybrid Systems.
.
2017. Automated Experiment Design for Data-Efficient Verification of Parametric Markov Decision Processes. CoRR. abs/1707.01322
.
2017. Automated Experiment Design for Data-Efficient Verification of Parametric Markov Decision Processes. Quantitative Evaluation of Systems - 14th International Conference, {QEST} 2017, Berlin, Germany, September 5-7, 2017, Proceedings. :259–274.
.
2017. Certified policy synthesis for general Markov decision processes: An application in building automation systems. Perform. Eval.. 117:75–103.
.
2017. Control refinement for discrete-time descriptor systems: a behavioural approach via simulation relations. CoRR. abs/1704.01672
.
2017. Data-driven and model-based verification via Bayesian identification and reachability analysis. Automatica. 79:115–126.
.
2017. Temporal logic control of general Markov decision processes by approximate policy refinement. CoRR. abs/1712.07622
.
2017. Verification of General Markov Decision Processes by Approximate Similarity Relations and Policy Refinement. {SIAM} J. Control and Optimization. 55:2333–2367.
.
2016. Data-Efficient Bayesian Verification of Parametric Markov Chains. Quantitative Evaluation of Systems - 13th International Conference, {QEST} 2016, Quebec City, QC, Canada, August 23-25, 2016, Proceedings. :35–51.
.
2016. Experiment design for formal verification via stochastic optimal control. 2016 European Control Conference, {ECC} 2016, Aalborg, Denmark, June 29 - July 1, 2016. :427–432.
.
2016. Verification of General Markov Decision Processes by Approximate Similarity Relations and Policy Refinement. Quantitative Evaluation of Systems - 13th International Conference, {QEST} 2016, Quebec City, QC, Canada, August 23-25, 2016, Proceedings. :227–243.
.
2016. Verification of general Markov decision processes by approximate similarity relations and policy refinement. CoRR. abs/1605.09557
GET IN TOUCH WITH US
CONTACT US
Oxford Control and Verification (OXCAV) Group
C/O Department of Computer Science
Wolfson Building, Parks Rd, Oxford OX1 3QD
T: +44 (0) 18656 10767
Education - This is a contributing Drupal Theme
Design by WeebPal.
Design by WeebPal.