A Abate, M Giacobbe, D Roy - International Conference on Computer …, 2024 - Springer
We present for the first time a supermartingale certificate for ω-regular specifications. We leverage the Robbins & Siegmund convergence theorem to characterize supermartingale …
Y Wang, H Zhu - International Conference on Computer Aided …, 2024 - Springer
We introduce VELM, a reinforcement learning (RL) framework grounded in verification principles for safe exploration in unknown environments. VELM ensures that an RL agent …