Partial-Order Reduction for Performance Analysis of Max-Plus Timed Systems.

Bram van der Sanden Marc Geilen Michel A. Reniers Twan Basten

Published in: ACSD (2018)

Keyphrases

partial order reduction
petri net
model checking
intelligent systems
mobile robot
computing systems
neural network
image segmentation
management system
distributed systems
markov chain