output
19992026
most citedRobots that can adapt like animals

963 citations

researchers with a paper here
collaborating institutions

667 papers

cs.CC2026

Execution-Time Opacity in (Controllable) Timed Automata is Hard

Sarah Dépernet, Engel Lefaucheux

Timing information leakage occurs whenever an attacker successfully deduces confidential internal information by observing some timed information such as the total duration of a ru…

cs.LO2026

Certification of Bilateral Patience Sort in Theorema and Rocq

Isabela Drǎmnesc, Tudor Jebelean, Sorin Stratulat

This is a case study on a specific version of the Patience Sort algorithm in which we illustrate the evolution of it from an intuitive but inefficient nested recursion into a more…

cs.CV2026

HUI360: A 360° Egocentric Dataset and Baselines for Human-Robot Interaction Anticipation

Raphael Lorenzo-Louis, Fabio Amadio, Bertrand Luvison +1

As robots increasingly operate in human-populated environments, anticipating human intentions is essential for enabling proactive and socially aware behavior. Automatic anticipatio…

cs.RO2026

Generalizing deep reinforcement learning across cable-driven parallel robot configurations with actuator-level policies

Abir Bouaouda, Mohamed Boutayeb, François Charpillet +2

Cable-driven parallel robots (CDPRs) present diverse configurations and complex control challenges, which can be addressed by deep reinforcement learning (DRL) by learning their no…

cs.LO2026

A Typing System for the Linear Lambda-Calculus in de Bruijn Notation

Philippe de Groote, Vincent Tourneur

We introduce a typing system that is particularly well suited for typing the linear lambda-calculus in de Bruijn notation. This typing discipline, which is reminiscent of Hodas' an…

cs.LG2026

Benchmarking Generalization in Financial Statement Fraud Detection: robust evaluation and novel tasks

Guy Stephane Waffo Dzuyo, Gaël Guibon, Christophe Cerisara +1

Financial statement fraud detection (FSFD) is crucial for market integrity but faces challenges from increasingly sophisticated schemes and under-utilized textual data in financial…