Clarity: From Formal System Designs to Verified RL Controllers
Published in 41st IEEE/ACM International Conference on Automated Software Engineering (ASE '26), 2026
Recommended citation: Austin O'Quinn, Conor Snedeker, Max Taylor, Lance Joneckis, and Christopher Stewart. 2026. Clarity: From Formal System Designs to Verified RL Controllers. In Proceedings of the 41st IEEE/ACM International Conference on Automated Software Engineering (ASE '26), October 12–16, 2026, Munich, Germany. ACM, New York, NY, USA, 12 pages. https://doi.org/10.1145/3832783.3834429 /files/CLARITY.pdf
This paper describes Clarity, a system that turns a SysML v2 design into a verified reinforcement learning controller and runtime monitor.
Recommended citation: Austin O’Quinn, Conor Snedeker, Max Taylor, Lance Joneckis, and Christopher Stewart. 2026. Clarity: From Formal System Designs to Verified RL Controllers. In Proceedings of the 41st IEEE/ACM International Conference on Automated Software Engineering (ASE ‘26), October 12–16, 2026, Munich, Germany. ACM, New York, NY, USA, 12 pages. https://doi.org/10.1145/3832783.3834429