Volume: Vol-3806 UkrPROG 2024 | Year: 2024

Paper: | S_26_Pogorilyy_Slynko_Biletskyi |


The Verification of Decision Tree Model for Coreference Resolution Using Marked Transition Systems, Petri Nets and Büchi Automata

361-371 PDF