Login / Signup

A counterexample to Dhillon (1998).

Tilman BörgersYan-Min Choo
Published in: Soc. Choice Welf. (2017)
Keyphrases
  • model checking
  • formal verification
  • temporal logic
  • domain specific
  • np hard