International Joint Conference on Artificial Intelligence

  • Ingo Hans Pill (Redner/in)

Aktivität: Vortrag oder Präsentation › Vortrag bei Konferenz oder Fachtagung › Science to science

Beschreibung

Talk: Behavioral Diagnosis of LTL Specifications at Operator Level
Zeitraum8 Aug. 2013
Ereignistitel23rd International Joint Conference on Artificial Intelligence: IJCAI 2013
VeranstaltungstypKonferenz
OrtPeking, ChinaAuf Karte anzeigen