Nathalie Cauchi

Nathalie Cauchi

Doctoral Student

Student, Kellogg College

Wolfson Building, Parks Road, Oxford OX1 3QD

Themes:

• Automated Verification

Selected Publications

View AllManage publications

• Efficient Probabilistic Model Checking of Smart Building Maintenance using Fault Maintenance Trees

  Nathalie Cauchi‚ Khaza Anuarul Hoque‚ Alessandro Abate and Mariëlle Stoelinga

  November, 2017.

  Details about Efficient Probabilistic Model Checking of Smart Building Maintenance using Fault Maintenance Trees | BibTeX data for Efficient Probabilistic Model Checking of Smart Building Maintenance using Fault Maintenance Trees | Link to Efficient Probabilistic Model Checking of Smart Building Maintenance using Fault Maintenance Trees

• Certified policy synthesis for general Markov decision processes: An application in building automation systems

  Sofie Haesaert‚ Nathalie Cauchi and Alessandro Abate

  In Performance Evaluation. 2017.

  Details about Certified policy synthesis for general Markov decision processes: An application in building automation systems | BibTeX data for Certified policy synthesis for general Markov decision processes: An application in building automation systems | DOI (https://doi.org/10.1016/j.peva.2017.09.005) | Link to Certified policy synthesis for general Markov decision processes: An application in building automation systems

• Model−based predictive maintenance in building automation systems with user discomfort

  Nathalie Cauchi‚ Karel Macek and Alessandro Abate

  In Energy. 2017.

  Details about Model−based predictive maintenance in building automation systems with user discomfort | BibTeX data for Model−based predictive maintenance in building automation systems with user discomfort | DOI (https://doi.org/10.1016/j.energy.2017.07.104) | Link to Model−based predictive maintenance in building automation systems with user discomfort

Supervisor

Alessandro Abate