Back to Results
First PageMeta Content
Automated planning and scheduling / Planning Domain Definition Language / Theoretical computer science / Models of computation / Hybrid automaton / Formal languages / Finite-state machine / Hybrid system / Alphabet / Automata theory / Differential equations / Mathematics


Planning as Model Checking in Hybrid Domains Sergiy Bogomolov Daniele Magazzeni Andreas Podelski
Add to Reading List

Document Date: 2014-07-02 05:16:10

Open Document

File Size: 236,02 KB

Share Result on Facebook

City

Williams / /

Company

Hp / McDermott / Intel / AAAI Press / /

/

Event

Man-Made Disaster / /

Facility

University of Basel / United Kingdom daniele.magazzeni@kcl.ac.uk University of Freiburg / King’s College / Hybrid Domains Sergiy Bogomolov Daniele Magazzeni Andreas Podelski Martin Wehrle University of Freiburg Germany / /

IndustryTerm

car domains / symbolic search / hybrid systems / state-of-the art tool / car domain / search algorithm / search engine / model checking algorithms / model checking tools / /

OperatingSystem

Linux / /

Organization

Transregional Collaborative Research Center / King’s College London United Kingdom daniele.magazzeni@kcl.ac.uk University / German Research Foundation / Artificial Copyright Intelligence / Applied Intelligence / Hybrid Domains Sergiy Bogomolov Daniele Magazzeni Andreas Podelski Martin Wehrle University / Association for the Advancement / /

Person

Davis / Shin / Della Penna / Alexander Heinz / /

Position

UPMurphi planner / Model Checking / guard / sat-based planner / estimated-regression planner / planner / /

ProvinceOrState

British Columbia / /

PublishedMedium

Theoretical Computer Science / Complex Systems / Journal of Artificial Intelligence Research / Lecture Notes in Computer Science / /

Technology

RAM / artificial intelligence / search algorithm / Linux / search engine / model checking algorithms / /

URL

www.aaai.org / http /

SocialTag