International Joint Conference on Artificial Intelligence

  • Ingo Hans Pill (Speaker)

Activity: Talk or presentationTalk at conference or symposiumScience to science

Description

Talk: Behavioral Diagnosis of LTL Specifications at Operator Level
Period8 Aug 2013
Event title23rd International Joint Conference on Artificial Intelligence: IJCAI 2013
Event typeConference
LocationPeking, China