Behavioral Diagnosis of LTL Specifications at Operator Level

Ingo Hans Pill, Thomas Quaritsch

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem Konferenzband

Originalspracheenglisch
TitelInternational Joint Conference on Artificial Intelligence
Herausgeber (Verlag).
Seiten1053-1059
ISBN (Print)978-1-57735-633-2
PublikationsstatusVeröffentlicht - 2013
Veranstaltung23rd International Conference on Artificial Intelligence: IJCAI 2013 - Peking, China
Dauer: 3 Aug 20139 Aug 2013

Konferenz

Konferenz23rd International Conference on Artificial Intelligence
LandChina
OrtPeking
Zeitraum3/08/139/08/13

Fields of Expertise

  • Information, Communication & Computing

Treatment code (Nähere Zuordnung)

  • Basic - Fundamental (Grundlagenforschung)

Dieses zitieren