Publications
] .
2017. Quantitative model-checking of controlled discrete-time Markov processes. Inf. Comput.. 253:1–35.
.
2017. Reachability Computation for Switching Diffusions: Finite Abstractions with Certifiable and Tuneable Precision. Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control, {HSCC} 2017, Pittsburgh, PA, USA, April 18-20, 2017. :55–64.
.
2017. On the Relationship Between Bisimulation and Trace Equivalence in an Approximate Probabilistic Context. Foundations of Software Science and Computation Structures - 20th International Conference, {FOSSACS} 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, {ETAPS} 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings. :321–337.
.
2017. On the Relationship between Bisimulation and Trace Equivalence in an Approximate Probabilistic Context (Extended Version). CoRR. abs/1701.04547
.
2017. Safe Policy Search with Gaussian Process Models. CoRR. abs/1712.05556
.
2017. Sound and Automated Synthesis of Digital Stabilizing Controllers for Continuous Plants. Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control, {HSCC} 2017, Pittsburgh, PA, USA, April 18-20, 2017. :197–206.
.
2017. Sound Numerical Computations in Abstract Acceleration. Numerical Software Verification - 10th International Workshop, {NSV} 2017, Heidelberg, Germany, July 22-23, 2017, Proceedings [collocated with {CAV} 2017]. :38–60.
.
2017. Temporal logic control of general Markov decision processes by approximate policy refinement. CoRR. abs/1712.07622
.
2017. Towards scalable synthesis of stochastic control systems. Discrete Event Dynamic Systems. 27:341–369.
.
2017. Verification of General Markov Decision Processes by Approximate Similarity Relations and Policy Refinement. {SIAM} J. Control and Optimization. 55:2333–2367.
.
2016. Approximate Policy Iteration for Markov Decision Processes via Quantitative Adaptive Aggregations. Automated Technology for Verification and Analysis - 14th International Symposium, {ATVA} 2016, Chiba, Japan, October 17-20, 2016, Proceedings. :13–31.
.
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. Efficient {HVAC} controls: {A} symbolic approach. 2016 European Control Conference, {ECC} 2016, Aalborg, Denmark, June 29 - July 1, 2016. :1159–1164.
.
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. Formal and Data Association Aware Robust Belief Space Planning. {STAIRS} 2016 - Proceedings of the Eighth European Starting {AI} Researcher Symposium, The Hague, The Netherlands, August 29-30, 2016. :87–98.
.
2016. Formal Verification of Stochastic Max-Plus-Linear Systems. {IEEE} Trans. Automat. Contr.. 61:2861–2876.
.
2016. Safety Verification of Continuous-Space Pure Jump Markov Processes. Tools and Algorithms for the Construction and Analysis of Systems - 22nd International Conference, {TACAS} 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, {ETAPS} 2016, Eindhoven, The Netherlands, April 2-8, 2016, . :147–163.
.
2016. Safety verification of output feedback controllers for nonlinear systems. 2016 European Control Conference, {ECC} 2016, Aalborg, Denmark, June 29 - July 1, 2016. :413–418.
.
2016. Safety Verification of Output Feedback Controllers for Nonlinear Systems. CoRR. abs/1603.06627
.
2016. Sound and Automated Synthesis of Digital Stabilizing Controllers for Continuous Plants. CoRR. abs/1610.04761
.
2016. Towards Scalable Synthesis of Stochastic Control Systems. CoRR. abs/1602.01358
.
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
.
2016. Verification of Networks of Smart Energy Systems over the Cloud. Numerical Software Verification - 9th International Workshop, {NSV} 2016, Toronto, ON, Canada, July 17-18, 2016, [collocated with {CAV} 2016], Revised Selected Papers. :1–14.
Pages
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.