Model Checking and Artificial IntelligenceStefan Edelkamp
Model Checking and Artificial Intelligence
Stefan Edelkamp, Alessio Lomuscio · 2007
Where to buy
Check today’s price on Amazon. We do not show prices because they change daily.
View on AmazonAffiliate link. As an Amazon Associate we earn from qualifying purchases.
Book details
- Year
- 2007
- Language
- English
- Publisher
- Springer London, Limited
- Editions
- 1
- ISBN
- 9783540741282
Data source: Wikidata
More by Stefan Edelkamp
Heuristic searchStefan Edelkamp
Heuristic search
Stefan Edelkamp · 2011
KI 2021 : Advances in Artificial IntelligenceStefan Edelkamp
KI 2021 : Advances in Artificial Intelligence
Stefan Edelkamp · 2021
Algorithmic IntelligenceStefan Edelkamp
Algorithmic Intelligence
Stefan Edelkamp · 2020
Proceedings of the Twenty-Sixth International Conference on Automated Planning and SchedulingStefan Edelkamp
Proceedings of the Twenty-Sixth International Conference on Automated Planning and Scheduling
Stefan Edelkamp · 2016
Proceedings of the Seventh International Symposium on Combinatorial Search (Socs-2014)Stefan Edelkamp
Proceedings of the Seventh International Symposium on Combinatorial Search (Socs-2014)
Stefan Edelkamp · 2014