Superposition-Based Analysis of First-Order Probabilistic Timed Automata.

Arnaud Fietzke, Holger Hermanns, Christoph Weidenbach

Browse the full LPAR paper archive.