TY  - CPAPER
AU  - Ben-Amran, Amir  M., Amir  M.
AU  - Genaim, Samir
PY  - 2015
UR  - https://hdl.handle.net/20.500.14352/25004
AB  - In this paper we turn the spotlight on a class of lexicographic ranking functions introduced by Bradley, Manna and Sipma in a seminal CAV 2005 paper, and establish for the first time the complexity of some problems involving the inference of such...
LA  - eng
M2  - 304
TI  - Complexity of Bradley-Manna-Sipma Lexicographic Ranking Functions
TY  - conference paper
ER  -