Ranking Automata and Games for Prioritized Requirements

Computer Aided Verification - Lecture Notes in Computer Science ◽

10.1007/978-3-540-70545-1_23 ◽

2008 ◽

pp. 240-253 ◽

Author(s):

Rajeev Alur ◽

Aditya Kanade ◽

Gera Weiss

Download Full-text