211 citations
- Université Grenoble AlpesFR49 papers
- Centre National de la Recherche ScientifiqueFR44 papers
- Institut polytechnique de GrenobleFR12 papers
- Université Joseph FourierFR7 papers
- FortissDE4 papers
- Institut des langues et cultures d'Europe, Amérique, Afrique, Asie et AustralieFR4 papers
- Institut national de recherche en sciences et technologies du numériqueFR4 papers
- Aalto UniversityFI3 papers
- Commissariat à l'Énergie Atomique et aux Énergies AlternativesFR3 papers
- École Polytechnique Fédérale de LausanneCH3 papers
- Laboratoire d'Informatique de GrenobleFR3 papers
- LIP6FR3 papers
Showing 2026Show all
3 papers · 1 filter
cs.PL2026
Max-Policy Iteration, Revisited
David Monniaux, Helmut Seidl
Max-policy iteration is an approach to computing precise numeric program invariants by successive attempts at resolving maximum operators and reduction to mathematical optimization…
cs.AI2026
From Automated to Autonomous: Hierarchical Agent-native Network Architecture (HANA)
Binghan Wu, Shoufeng Wang, Yunxin Liu +3
Realizing Level 4/5 Autonomous Networks (AN) demands a shift from static automation to agent-native intelligence. Current operations, reliant on rigid scripts, lack the cognitive a…
cs.AI2026
On Tackling Complex Tasks with Reward Machines and Signal Temporal Logics
Ana María Gómez Ruiz, Thao Dang, Alexandre Donzé
We propose a Reinforcement Learning (RL) based control design framework for handling complex tasks. The approach extends the concept of Reward Machines (RM) with Signal Temporal Lo…