Open AccessPlanning as Model Checking in Hybrid Domains
Author(s) -
Sergiy Bogomolov,
Daniele Magazzeni,
Andreas Podelski,
Martin Wehrle
Publication year - 2014
Publication title -
proceedings of the ... aaai conference on artificial intelligence
Language(s) - English
Resource type - Journals
eISSN - 2374-3468
pISSN - 2159-5399
DOI - 10.1609/aaai.v28i1.9037
Subject(s) - computer science , hybrid system , model checking , formalism (music) , automaton , bridging (networking) , scalability , hybrid automaton , theoretical computer science , artificial intelligence , machine learning , art , musical , computer network , database , visual arts