-A A +A

Publications

Export 66 results:
Author Title Type [ Year(Asc)]
2017
Abate A, Bessa I, Cattaruzza D, Chaves L, Cordeiro LC, David C, Kesseli P, Kroening D, Polgreen E.  2017.  DSSynth: an automated digital controller synthesis tool for physical plants. Proceedings of the 32nd {IEEE/ACM} International Conference on Automated Software Engineering, {ASE} 2017, Urbana, IL, USA, October 30 - November 03, 2017. :919–924.
Soudjani SEsmaeil Za, Abate A, Majumdar R.  2017.  Dynamic Bayesian networks for formal verification of structured stochastic processes. Acta Inf.. 54:217–242.
Cauchi N, Hoque KAnuarul, Abate A, Stoelinga M.  2017.  Efficient Probabilistic Model Checking of Smart Building Maintenance using Fault Maintenance Trees. In Proceedings of the 4th International Conference on Systems for Energy-Efficient Built Environments.
Cauchi N, Hoque KAnuarul, Abate A, Stoelinga M.  2017.  Efficient Probabilistic Model Checking of Smart Building Maintenance using Fault Maintenance Trees. Proceedings of the 4th ACM International Conference on Systems for Energy-Efficient Built Environments. abs/1801.04263:24:1-24:10.
Abate A, Cardelli L, Kwiatkowska M, Laurenti L, Yordanov B.  2017.  Experimental Biological Protocols with Formal Semantics. CoRR. abs/1710.08016
[Anonymous].  2017.  Formal Modeling and Analysis of Timed Systems - 15th International Conference, {FORMATS} 2017, Berlin, Germany, September 5-7, 2017, Proceedings. Lecture Notes in Computer Science. 10419
Abate A.  2017.  Formal verification of complex systems: model-based and data-driven methods. Proceedings of the 15th {ACM-IEEE} International Conference on Formal Methods and Models for System Design, {MEMOCODE} 2017, Vienna, Austria, September 29 - October 02, 2017. :91–93.
Macek K, Endel P, Cauchi N, Abate A.  2017.  Long-Term Predictive Maintenance: A Study of Optimal Cleaning of Biomass Boilers. Energy and Buildings.
Cauchi N, Macek K, Abate A.  2017.  Model-based predictive maintenance in building automation systems with user discomfort. Energy. 138:306-315.
Lesser K, Abate A.  2017.  Multi-objective optimal control with safety as a priority. Proceedings of the 8th International Conference on Cyber-Physical Systems, {ICCPS} 2017, Pittsburgh, Pennsylvania, USA, April 18-20, 2017. :25–36.
[Anonymous].  2017.  Numerical Software Verification - 10th International Workshop, {NSV} 2017, Heidelberg, Germany, July 22-23, 2017, Proceedings [collocated with {CAV} 2017]. Lecture Notes in Computer Science. 10381
Lun YZacchia, D'Innocenzo A, Abate A, Di Benedetto MDomenica.  2017.  Optimal robust control and a separation principle for polytopic time-inhomogeneous Markov jump linear systems. 56th {IEEE} Annual Conference on Decision and Control, {CDC} 2017, Melbourne, Australia, December 12-15, 2017. :6525–6530.
Tkachev I, Mereacre A, Katoen J-P, Abate A.  2017.  Quantitative model-checking of controlled discrete-time Markov processes. Inf. Comput.. 253:1–35.
Laurenti L, Abate A, Bortolussi L, Cardelli L, Ceska M, Kwiatkowska MZ.  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.
Bian G, Abate A.  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.
Bian G, Abate A.  2017.  On the Relationship between Bisimulation and Trace Equivalence in an Approximate Probabilistic Context (Extended Version). CoRR. abs/1701.04547
Polymenakos K, Abate A, Roberts S.  2017.  Safe Policy Search with Gaussian Process Models. CoRR. abs/1712.05556
Abate A, Bessa I, Cattaruzza D, Cordeiro LC, David C, Kesseli P, Kroening D.  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.
Cattaruzza D, Abate A, Schrammel P, Kroening D.  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.
Haesaert S, Soudjani SEsmaeil Za, Abate A.  2017.  Temporal logic control of general Markov decision processes by approximate policy refinement. CoRR. abs/1712.07622
Zamani M, Tkachev I, Abate A.  2017.  Towards scalable synthesis of stochastic control systems. Discrete Event Dynamic Systems. 27:341–369.
Haesaert S, Soudjani SEsmaeil Za, Abate A.  2017.  Verification of General Markov Decision Processes by Approximate Similarity Relations and Policy Refinement. {SIAM} J. Control and Optimization. 55:2333–2367.
2016
Abate A, Ceska M, Kwiatkowska M.  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.
Polgreen E, Wijesuriya VB, Haesaert S, Abate A.  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.
Holub O, Zamani M, Abate A.  2016.  Efficient {HVAC} controls: {A} symbolic approach. 2016 European Control Conference, {ECC} 2016, Aalborg, Denmark, June 29 - July 1, 2016. :1159–1164.

Pages

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.