Model Checking for a Class of Weighted Automata

Peter Buchholz, Peter Kemper

A large number of different model checking approaches has been proposed during the last decade. The different approaches are applicable to different model types including untimed,…