Reachability in Multi-agent Transfer Systems

Lecture notes in computer science 2026 Open access

Read full text

Authors: Nathalie Bertrand, Loı̈c Hélouët, Engel Lefaucheux, Luca Paparazzo

DOI: 10.1007/978-3-032-15700-3_2

Cited by: 0

References: 16

Fields of Study & Subjects

Formal Methods in Verification semigroups and automata theory Petri Nets in System Modeling

References 16