Computing under-approximations of multivalued decision diagrams. (English) Zbl 1541.68117
Gomes, Luis (ed.) et al., Application and theory of Petri nets and concurrency. 44th international conference, Petri NETS 2023, Lisbon, Portugal, June 25–30, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13929, 243-263 (2023).