Details for the publication BansalKL24.

Suguman Bansal, Yash Kankariya, Yong Li: DAG-Based Compositional Approaches for LTLf to DFA Conversions. In Formal Methods in Computer-Aided Design, FMCAD 2024, Prague, Czech Republic, October 15-18, 2024, pages 227-235, 2024. DOI BIB