1 citations · 1 across the 2 of their papers we have counts for
2 papers
cs.CG2021
Computer Aided Formal Design of Swarm Robotics Algorithms
Thibaut Balabonski, Pierre Courtieu, Robin Pelle +3
Previous works on formally studying mobile robotic swarms consider necessary and sufficient system hypotheses enabling to solve theoretical benchmark problems (geometric pattern fo…
cs.LO2011★ 1 cited
On the Implementation of Dynamic Patterns
Thibaut Balabonski
The evaluation mechanism of pattern matching with dynamic patterns is modelled in the Pure Pattern Calculus by one single meta-rule. This contribution presents a refinement which n…