Behavioral Diagnosis of LTL Specifications at Operator Level

Ingo Hans Pill, Thomas Quaritsch

Research output: Contribution to conferencePosterResearch

Original languageEnglish
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)

Cite this

Pill, I. H., & Quaritsch, T. (2013). Behavioral Diagnosis of LTL Specifications at Operator Level. Poster session presented at International Joint Conference on Artificial Intelligence, Beijing, China.

Behavioral Diagnosis of LTL Specifications at Operator Level. / Pill, Ingo Hans; Quaritsch, Thomas.

2013. Poster session presented at International Joint Conference on Artificial Intelligence, Beijing, China.

Research output: Contribution to conferencePosterResearch

Pill, IH & Quaritsch, T 2013, 'Behavioral Diagnosis of LTL Specifications at Operator Level' International Joint Conference on Artificial Intelligence, Beijing, China, 3/08/13 - 9/08/13, .
Pill IH, Quaritsch T. Behavioral Diagnosis of LTL Specifications at Operator Level. 2013. Poster session presented at International Joint Conference on Artificial Intelligence, Beijing, China.
Pill, Ingo Hans ; Quaritsch, Thomas. / Behavioral Diagnosis of LTL Specifications at Operator Level. Poster session presented at International Joint Conference on Artificial Intelligence, Beijing, China.
@conference{eb88bc131d144359a7ff3b21edf568f7,
title = "Behavioral Diagnosis of LTL Specifications at Operator Level",
author = "Pill, {Ingo Hans} and Thomas Quaritsch",
year = "2013",
language = "English",
note = "International Joint Conference on Artificial Intelligence ; Conference date: 03-08-2013 Through 09-08-2013",

}

TY - CONF

T1 - Behavioral Diagnosis of LTL Specifications at Operator Level

AU - Pill, Ingo Hans

AU - Quaritsch, Thomas

PY - 2013

Y1 - 2013

M3 - Poster

ER -