Project and Conquer: Fast Quantifier Elimination for Checking Petri Net Reachability
VERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION, VMCAI 2024, PT I（2024）
Key words
Petri nets,Quantifier elimination,Reachability problems
AI Read Science
Must-Reading Tree
Example
Generate MRT to find the research sequence of this paper
Chat Paper
Summary is being generated by the instructions you defined