Behavioral Diagnosis of LTL Specifications at Operator Level

Ingo Hans Pill, Thomas Quaritsch

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

Original languageEnglish
Title of host publicationInternational Joint Conference on Artificial Intelligence
Publisher.
Pages1053-1059
ISBN (Print)978-1-57735-633-2
Publication statusPublished - 2013
EventInternational Joint Conference on Artificial Intelligence - Beijing, China
Duration: 3 Aug 20139 Aug 2013

Conference

ConferenceInternational Joint Conference on Artificial Intelligence
CountryChina
CityBeijing
Period3/08/139/08/13

Fields of Expertise

  • Information, Communication & Computing

Treatment code (Nähere Zuordnung)

  • Basic - Fundamental (Grundlagenforschung)

Projects

Cite this

Pill, I. H., & Quaritsch, T. (2013). Behavioral Diagnosis of LTL Specifications at Operator Level. In International Joint Conference on Artificial Intelligence (pp. 1053-1059). ..