On the optimal reachability problem

Technical Report PDF: 
Technical Report Number: 
2006.64
TitleOn the optimal reachability problem
Publication TypeConference Paper
Year of Publication2006
AuthorsBouyer, P, Brihaye T, Bruyère V, Raskin J-F
Conference NameFormal Methods in System Design