View of Petri Net Structural Reduction for Temporal Epistemic Logic Verification in Multi-Agent Systems

Return to Article Details Petri Net Structural Reduction for Temporal Epistemic Logic Verification in Multi-Agent Systems Download Download PDF