Towards Efficient Partition Refinement for Checking Reachability in Timed Automata.

Agata Pólrola Wojciech Penczek Maciej Szreter

Published in: FORMATS (2003)

Keyphrases

timed automata
cost effective
real time
neural network
multi agent systems
low cost
reachability analysis