Suraq - A Controller Synthesis Tool using Uninterpreted Functions

Georg Hofferek, Ashutosh Gupta

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Original languageEnglish
Title of host publicationHaifa Verification Conference
Publisher.
Pages68-74
Volume8855
ISBN (Print)978-3-319-13337-9
Publication statusPublished - 2014
EventHaifa Verification Conference - Haifa, Israel
Duration: 18 Nov 201420 Nov 2014

Publication series

NameLecture Notes in Computer Science

Conference

ConferenceHaifa Verification Conference
CountryIsrael
CityHaifa
Period18/11/1420/11/14

Fields of Expertise

  • Information, Communication & Computing

Treatment code (Nähere Zuordnung)

  • Application
  • Experimental

Cite this

Hofferek, G., & Gupta, A. (2014). Suraq - A Controller Synthesis Tool using Uninterpreted Functions. In Haifa Verification Conference (Vol. 8855, pp. 68-74). (Lecture Notes in Computer Science). ..