Computer Aided Verification, CAV 2016

Article Details
Title: Slugs: Extensible GR(1) Synthesis
Article URLs:
Alternative Article URLs:
Authors: RĂ¼diger Ehlers
  • University of Bremen, Mathematics & Computer Science
  • DFKI GmbH, Bremen, Germany
Vasumathi Raman
  • United Technologies Research Center, Berkeley, CA
Sharing: Research produced artifacts
Verification: Authors have verified information
Artifact Evaluation Badge: none
Artifact URLs:
Artifact Correspondence Email Addresses:
NSF Award Numbers:
DBLP Key: conf/cav/EhlersR16
Author Comments:

Discuss this paper and its artifacts below