Toggle Main Menu Toggle Search

Open Access padlockePrints

Planning as Model Checking in Hybrid Domains

Lookup NU author(s): Dr Sergiy BogomolovORCiD

Downloads


Licence

This is the authors' accepted manuscript of a conference proceedings (inc. abstract) that has been published in its final definitive form by AAAI Press, 2014.

For re-use rights please refer to the publisher's terms and conditions.


Publication metadata

Author(s): Bogomolov S, Magazzeni D, Podelski A, Wehrle M

Publication type: Conference Proceedings (inc. Abstract)

Publication status: Published

Conference Name: AAAI'14: Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence

Year of Conference: 2014

Pages: 2228-2234

Print publication date: 01/07/2014

Acceptance date: 20/04/2014

Date deposited: 01/04/2021

Publisher: AAAI Press

URL: https://dl.acm.org/doi/10.5555/2892753.2892861

DOI: 10.5555/2892753.2892861


Share