Get our free extension to see links to code for papers anywhere online!

Chrome logo Add to Chrome

Firefox logo Add to Firefox

Picture for Kevin Leahy

Fast Decomposition of Temporal Logic Specifications for Heterogeneous Teams


Sep 30, 2020
Kevin Leahy, Austin Jones, Cristian-Ioan Vasile


  Access Paper or Ask Questions

Development and application of a machine learning supported methodology for measurement and verification (M&V) 2.0


Jan 24, 2018
Colm V. Gallagher, Kevin Leahy, Peter O'Donovan, Ken Bruton, Dominic T. J. O'Sullivan

* 17 pages. Pre-print submitted to Energy and Buildings. This manuscript version is made available under the CC-BY-NC-ND 4.0 licence 

  Access Paper or Ask Questions