4 citations · 7 across the 4 of their papers we have counts for
Showing 2021Show all
2 papers · 1 filter
cs.LO2021★ 2 cited
A strong call-by-need calculus
Thibaut Balabonski, Antoine Lanco, Guillaume Melquiond
We present a call-by-need -calculus that enables strong reduction (that is, reduction inside the body of abstractions) and guarantees that arguments are only evaluated if needed…
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…