Publications
Export 63 results:
Author Title Type [ Year
] Filters: Author is Alessandro Abate [Clear All Filters]
.
2020. Automated and Sound Synthesis of Lyapunov Functions with {SMT} Solvers. Tools and Algorithms for the Construction and Analysis of Systems - 26th International Conference, {TACAS} 2020, Dublin, Ireland, April 25-30, 2020, Proceedings, Part {I}.
.
2020. Computation of the Transient in Max-Plus Linear Systems via SMT-Solving. FORMATS 2020.
.
2020. Deep Reinforcement Learning with Temporal Logics. International Conference on Formal Modeling and Analysis of Timed Systems.
.
2018. Approximate Abstractions of Markov Chains with Interval Decision Processes . IFAC Conference on Analysis and Design of Hybrid Systems.
.
2018. ARCH-COMP18 Category Report: Hybrid Systems with Piecewise Constant Dynamics. ARCH18. 5th International Workshop on Applied Verification of Continuous and Hybrid Systems.
.
2018. ARCH-COMP18 Category Report: Stochastic Modelling. ARCH18. 5th International Workshop on Applied Verification of Continuous and Hybrid Systems. 54:71-103.
.
2018. Assessment of Maintenance Policies for Smart Buildings: Application of Formal Methods to Fault Maintenance Trees. Fourth european conference of the prognostics and health management society 2018.
.
2018. Benchmarks for cyber-physical systems: A modular model library for buildings automation. IFAC Conference on Analysis and Design of Hybrid Systems.
.
2018. Logically-Constrained Reinforcement Learning. CoRR. abs/1801.08099
.
2018. Maintenance of Smart Buildings using Fault Trees. ACM Transactions on Sensor Networks: Systems for Smart and Efficient Built Environments.
.
2018. Modelling Smart Buildings using Fault Maintenance Trees. 15th European Performance Engineering Workshop.
.
2018. Safe, Automated and Formal Synthesis of Digital Controllers for Continuous Plants. 7th Workshop on Synthesis .
.
2018. Temporal Logic Control of General Markov Decision Processes by Approximate Policy Refinement. IFAC Conference on Analysis and Design of Hybrid Systems.
.
2017. Aggregated Markov Models of a Heterogeneous Population of Photovoltaic Panels. Quantitative Evaluation of Systems - 14th International Conference, {QEST} 2017, Berlin, Germany, September 5-7, 2017, Proceedings. :72–87.
.
2017. {ARCH-COMP17} Category Report: Hybrid Systems with Piecewise Constant Dynamics. {ARCH17.} 4th International Workshop on Applied Verification of Continuous and Hybrid Systems, collocated with Cyber-Physical Systems Week (CPSWeek) on April 17, 2017 in Pittsburgh, PA, {USA}. :124–133.
.
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. Automated Formal Synthesis of Digital Controllers for State-Space Physical Plants. Computer Aided Verification - 29th International Conference, {CAV} 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part {I}. :462–482.
.
2017. Automated Formal Synthesis of Digital Controllers for State-Space Physical Plants. CoRR. abs/1705.00981
.
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. 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.
.
2017. Dynamic Bayesian networks for formal verification of structured stochastic processes. Acta Inf.. 54:217–242.
.
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.
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.