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 ◽

Cited By ~ 16

Author(s):

Rajeev Alur ◽

Aditya Kanade ◽

Gera Weiss