Infrastructure’s Quantum Problem Isn’t Quantum: It’s Automation

In the end, critical infrastructure’s biggest quantum risk is the outdated, manual trust models of today. Only by replacing ...
IEEE

Pareto-Optimal Event-Based Scheme for Station and Inter-Station Control of Electric and Automated Buses

Abstract: This paper considers electric and automated buses required to follow a given line and respect a given timetable in an inter-city road. The main goal of this work is to design a control ...
IEEE

Automated Generation of MDPs Using Logic Programming and LLMs for Robotic Applications

Abstract: We present a novel framework that integrates Large Language Models (LLMs) with automated planning and formal verification to streamline the creation and use of Markov Decision Processes (MDP ...