Austrian Science Fund / AAAI Press / McDermott / Complex Systems / /
Country
Germany / France / / /
Event
Man-Made Disaster / /
Facility
University of Basel / Austria United Kingdom University of Freiburg / College London IST Austria / /
IndustryTerm
real-world applications / space applications / model checking tools / /
Organization
Artificial Copyright Intelligence / Association for the Advancement / Austria United Kingdom University of Freiburg / Swiss National Science Foundation / /
Person
Davis / Shin / Della Penna / Martin Wehrle / /
Position
guard / planner / designer / /
ProvinceOrState
British Columbia / /
PublishedMedium
Theoretical Computer Science / Complex Systems / Journal of Artificial Intelligence Research / /
PDDL+ Planning with Hybrid Automata: Foundations of Translating Must Behavior Sergiy Bogomolov Daniele Magazzeni