Suguman Bansal, Yash Kankariya, Yong Li 0031. DAG-Based Compositional Approaches for LTLf to DFA Conversions. In Nina Narodytska, Philipp Rümmer, editors, Formal Methods in Computer-Aided Design, FMCAD 2024, Prague, Czech Republic, October 15-18, 2024. pages 227-235, IEEE, 2024. [doi]
Abstract is missing.