3 papers
cs.LO2026
STLSat---An Improved Tableau for Satisfiability Checking of Signal Temporal Logic Formulas
Marco Zamponi, Florian Lammel, Ezio Bartocci +1
Signal Temporal Logic (STL) is a formalism used to describe temporal properties of real-valued signals in cyber-physical systems. In mission- and safety-critical domains, specifica…
cs.SE2026
A Survey on the Applications of Generative Artificial Intelligence in Automated Driving Systems Test Scenario Generation Methods
Ji Zhou, Yongqi Zhao, Yixian Hu +4
Ensuring the safety and reliability of Automated Driving Systems (ADS) remains a critical challenge, as traditional verification methods such as large-scale on-road testing are pro…
eess.SY2026
Market Power and Distributed Solar Integration in Microgrids under Limited Regulation
Elsa Bou Gebrael, Majd Olleik, Sebastian Zwickl-Bernhard
Decentralized electricity systems increasingly emerge where centralized grids fail to provide reliable supply. In such settings, privately operated neighborhood microgrids, often b…