P Le Bras, A Gharavi, DA Robb, A F Vidal, S Padilla, MJ Chantler

arXiv preprint arXiv:2005.06380, 2020

P Le Bras, DA Robb, TS Methven, S Padilla, MJ Chantler

Proceedings of the 2018 CHI Conference on Human Factors in Computing Systems …, 2018

P Le Bras, Y Carreno, A Lindsay, RPA Petrick, MJ Chantler

ICAPS 2020 Workshop on Knowledge Engineering for Planning and Scheduling …, 2020

H Hastie, DA Robb, J Lopes, M Ahmad, P Le Bras, X Liu, RPA Petrick, ...

https://arxiv.org/abs/1905.07379, 2019

Y Lin, P Le Bras, G Grov

Tools and Algorithms for the Construction and Analysis of Systems: 22nd …, 2016

P Le Bras, A Gharavi, DA Robb, AF Vidal, S Padilla, MJ Chantler

arXiv preprint arXiv:2005.06380, 0

DA Robb, S Padilla, TS Methven, Y Liang, P Le Bras, T Howden, ...

SICSA ReaLX, 2018

T Howden, P Le Bras, TS Methven, S Padilla, MJ Chantler

arXiv preprint arXiv:2102.05374, 2021

G Grov, Y Lin, P Le Bras

Third Workshop on Formal Integrated Development Environment, 98-101, 2016

C Yaniel, P Le Bras, E Pairet Artau, P Ardon, MJ Chantler, R Petrick

Y Carreno, P Le Bras, È Pairet, P Ardón, MJ Chantler, RPA Petrick

ICAPS 2021 Workshop on Integrated Planning, Acting, and Execution (IntEx 2021), 2021

P Le Bras, Y Carreno, MJ Chantler, RPA Petrick

30th International Conference on Automated Planning and Scheduling 2020, 2020

P Le Bras, A Gharavi, DA Robb, A F. Vidal, S Padilla, MJ Chantler

https://arxiv.org/abs/2005.06380, 2020

P Le Bras

Heriot-Watt University, 2019

P Le Bras, Y Lin, G Grov

In AI4FM 2015 (extended abstract), 2015