59 citations · 62 across the 10 of their papers we have counts for
Showing 2025Show all
2 papers · 1 filter
cs.SE2025★ 2 cited
Scaling GR(1) Synthesis via a Compositional Framework for LTL Discrete Event Control
Hernan Gagliardi, Victor Braberman, Sebastian Uchitel
We present a compositional approach to controller synthesis of discrete event system controllers with linear temporal logic (LTL) goals. We exploit the modular structure of the pla…
cs.SE2025
Towards a Probabilistic Framework for Analyzing and Improving LLM-Enabled Software
Juan Manuel Baldonado, Flavia Bonomo-Braberman, Víctor Adrián Braberman
Ensuring the reliability and verifiability of large language model (LLM)-enabled systems remains a significant challenge in software engineering. We propose a probabilistic framewo…