Arthur Queffelec
Phd. Student at IRISA in LogicA
Rennes, FR
rf.asiri@celeffeuq.ruhtra
Publications
2020
Complexity of Planning for Connected Agents
Tristan Charrier, Arthur Queffelec, Ocan Sankur, François Schwarzentruber in JAAMAS 34: 44.
2019
Reachability and Coverage Planning for Connected Agents
Tristan Charrier, Arthur Queffelec, Ocan Sankur, François Schwarzentruber in IJCAI 2019: 144-150.
Reachability and Coverage Planning for Connected Agents : Extended Abstract
Tristan Charrier, Arthur Queffelec, Ocan Sankur, François Schwarzentruber in AAMAS 2019: 1874-1876.
Research Experience
Trade-off Between Robustness and Optimality in Strategic Reasoning
Summer 2018
Second year of Master internship at the IRISA under the supervision of Ocan Sankur and Francois Schwarzentruber. The purpose of this work was to create algorithms to compute strategies with a bounded robustness property.
Verification of Multi-Valued Alternating-time Temporal Logic
Summer 2017
First year of Master internship at the Institute of Computer Science of the Polish Academy of Science under the supervision of Prof. Wojciech Jamroga and Prof. Wojciech Penczek. The main focus was to implement a model-checker of a multi-valued extension of ATL.
Degree of Diagnosability of Stochastic Discrete Event System
Summer 2016
Third year of Bachelor internship at the SUMO research team of INRIA/IRISA under the supervision of Prof. Eric Fabre and Ph.D. Blaise Genest. The goal was to define a degree of diagnosability of stochastic automata.
Education
Phd. Degree
2018 - Current
Phd. student in the LogicA team under the supervision of Francois Schwarzentruber in Rennes, France.