Login / Signup

A counterexample to a conjecture of Schwartz.

Felix BrandtMaria ChudnovskyIlhee KimGaku LiuSergey NorinAlex ScottPaul D. SeymourStéphan Thomassé
Published in: Soc. Choice Welf. (2013)
Keyphrases
  • model checking
  • formal verification
  • cost function
  • state space
  • multi class