Thibaut Balabonski | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Voice Chat Ghibli AI

Featured Co-authors

Sébastien Tixeuil
24 publications
Lionel Rieg
3 publications
Guillaume Melquiond
2 publications
Pierre Courtieu
1 publication
Robin Pelle
1 publication
Xavier Urbain
1 publication
Antoine Lanco
1 publication

research

∙ 11/02/2021

A strong call-by-need calculus

We present a call-by-need λ-calculus that enables strong reduction (that...

0 Thibaut Balabonski, et al. ∙

research

∙ 01/18/2021

Computer Aided Formal Design of Swarm Robotics Algorithms

Previous works on formally studying mobile robotic swarms consider neces...

0 Thibaut Balabonski, et al. ∙