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 ...

Consistently ranked among the top by U.S. News & World Report, the online Master of Science in Electrical & Computer Engineering offers engineering professionals flexibility without sacrificing ...

Abstract: E-commerce systems have become tremendously popular and important for modern business processes in the world of the digital economy. E-commerce business processes rely on the distributed and ...

Duke’s electrical and computer engineers have launched ambitious companies and research programs in two areas of great risk and potential—quantum computing and edge computing. We equip our ...

Animals are increasingly exposed to interactive technologies and involved in technological interactions. Ambient and wearable devices are now frequently used by humans to monitor animals’ states and ...