Dynamic Recursive Petri Nets

von Haddad, D. Serge
Veröffentlicht in PETRI NETS (41. : 2020 : Online) Application and theory of petri nets and concurrency (2020)

Property-Directed Verification and Robustness Certification of Recurrent Neural Networks

von Khmelnitsky, Igor
Veröffentlicht in ATVA (19. : 2021 : Online) Automated Technology for Verification and Analysis (2021)