All Outputs (5)

An Integrated Framework for Remote Planning (2021)
Conference Proceeding
Yaniel, C., Le Bras, P., Pairet Artau, E., Ardon, P., Chantler, M. J., & Petrick, R. P. A. (2021). An Integrated Framework for Remote Planning. In Proceedings of the Fifth Workshop on Integrated Planning, Acting and Execution (1-9)

Robotics opens the possibility for safer operations in remote and hazardous environments, with multiple robots deployed to perform tasks that would otherwise present risks for human operators. However, these missions must be carefully planned and mon... Read More about An Integrated Framework for Remote Planning.

PlanCurves: An Interface for End-Users to Visualise Multi-Agent Temporal Plans (2020)
Conference Proceeding
Le Bras, P., Carreno, Y., Lindsay, A., Petrick, R. P. A., & Chantler, M. J. (2020). PlanCurves: An Interface for End-Users to Visualise Multi-Agent Temporal Plans. In ICAPS 2020 Workshop on Knowledge Engineering for Planning and Scheduling (KEPS 2020)

In operational contexts, there is a growing need to make automatically generated plans available for assessment, verification, and accountability purposes, in order to evaluate the risks associated with such plans prior to their execution. However, t... Read More about PlanCurves: An Interface for End-Users to Visualise Multi-Agent Temporal Plans.

Automated strategic visualisations and user confidence (2019)
Thesis
Le Bras, P. (2019). Automated strategic visualisations and user confidence. (Thesis). Heriot-Watt University. Retrieved from http://researchrepository.napier.ac.uk/Output/2884475

Data visualisations aim at providing accessible and interpretable information for people. At a strategic level, such representations can be used to stimulate decision making. We have found that users are however hesitant to exploit unfamiliar visuali... Read More about Automated strategic visualisations and user confidence.

Improving User Confidence in Concept Maps: Exploring Data Driven Explanations (2018)
Conference Proceeding
Le Bras, P., Robb, D. A., Methven, T. S., Padilla, S., & Chantler, M. J. (2018). Improving User Confidence in Concept Maps: Exploring Data Driven Explanations. In CHI '18 Proceedings of the 2018 CHI Conference on Human Factors in Computing Systems. https://doi.org/10.1145/3173574.3173978

Automated tools are increasingly being used to generate highly engaging concept maps as an aid to strategic planning and other decision-making tasks. Unless stakeholders can understand the principles of the underlying layout process, however, we have... Read More about Improving User Confidence in Concept Maps: Exploring Data Driven Explanations.

Developing and Debugging Proof Strategies by Tinkering (2016)
Conference Proceeding
Lin, Y., Le Bras, P., & Grov, G. (2016). Developing and Debugging Proof Strategies by Tinkering. In Tools and Algorithms for the Construction and Analysis of Systems. TACAS 2016 (573-579). https://doi.org/10.1007/978-3-662-49674-9_37

Previously, we have developed a graphical proof strategy language, called PSGraph [4], to support the development and maintenance of large and complex proof tactics for interactive theorem provers. By using labelled hierarchical graphs this formalisa... Read More about Developing and Debugging Proof Strategies by Tinkering.