Behavioral Diagnosis of LTL Specifications at Operator Level

Ingo Hans Pill, Thomas Quaritsch

Publikation: Konferenzbeitrag › Poster

Originalspracheenglisch
PublikationsstatusVeröffentlicht - 2013
Veranstaltung23rd International Joint Conference on Artificial Intelligence: IJCAI 2013 - Peking, China
Dauer: 3 Aug. 2013 → 9 Aug. 2013

Konferenz

Konferenz23rd International Joint Conference on Artificial Intelligence
Land/GebietChina
OrtPeking
Zeitraum3/08/13 → 9/08/13

Fields of Expertise

  • Information, Communication & Computing

Treatment code (Nähere Zuordnung)

  • Basic - Fundamental (Grundlagenforschung)
  • 1 Abgeschlossen

Dieses zitieren