Publication date
January 2012
DOI Publisher
Institute of Electrical and Electronics Engineers (IEEE)Abstract
10.1109/SEW.2012.25Proceedings of the 2012 IEEE 35th Software Engineering Workshop, SEW 2012177-18
10.1109/SEW.2012.25Proceedings of the 2012 IEEE 35th Software Engineering Workshop, SEW 2012177-18
Formal methods have a great potential of application in the development of industrial critical syste...
Proceedings of the IEEE International Conference on Engineering of Complex Computer Systems, ICECCS5...
The uncertainties of planning engendered by nondeterminism and partial observability have led to a m...
The goal of this paper is to provide an introduction, with various elements of novelty, to the Plann...
This report documents the program and the outcomes of Dagstuhl Seminar 14482 “Automated Planning and...
10.1109/HASE.2012.12Proceedings of IEEE International Symposium on High Assurance Systems Engineerin...
Planning via Model Checking is nowadays a well-known technique. Techniques based on model checking h...
Planning via Model Checking is a novel approach to planning. It is based on the reformulation of a p...
\u3cp\u3eModel checking (Baier and Katoen in Principles of model checking, MIT Press, Cambridge, 200...
Formal verification of hardware and software systems in-volves proving or disproving the correctness...
10.1109/ICSE.2013.6606751Proceedings - International Conference on Software Engineering1481-1483PCSE
This book constitutes the refereed proceedings of the 23rd International Symposium on Model Checking...
We present a translation for the variant PDDL 3 of PDDL (Planning Domain Definition Language) into T...
In the thesis is tackled the Artificial Intelligence (AI) problem of Automatic Planning using Symbol...
This volume contains the proceedings of the 26th International Symposium on Model Checking Software,...
Formal methods have a great potential of application in the development of industrial critical syste...
Proceedings of the IEEE International Conference on Engineering of Complex Computer Systems, ICECCS5...
The uncertainties of planning engendered by nondeterminism and partial observability have led to a m...
The goal of this paper is to provide an introduction, with various elements of novelty, to the Plann...
This report documents the program and the outcomes of Dagstuhl Seminar 14482 “Automated Planning and...
10.1109/HASE.2012.12Proceedings of IEEE International Symposium on High Assurance Systems Engineerin...
Planning via Model Checking is nowadays a well-known technique. Techniques based on model checking h...
Planning via Model Checking is a novel approach to planning. It is based on the reformulation of a p...
\u3cp\u3eModel checking (Baier and Katoen in Principles of model checking, MIT Press, Cambridge, 200...
Formal verification of hardware and software systems in-volves proving or disproving the correctness...
10.1109/ICSE.2013.6606751Proceedings - International Conference on Software Engineering1481-1483PCSE
This book constitutes the refereed proceedings of the 23rd International Symposium on Model Checking...
We present a translation for the variant PDDL 3 of PDDL (Planning Domain Definition Language) into T...
In the thesis is tackled the Artificial Intelligence (AI) problem of Automatic Planning using Symbol...
This volume contains the proceedings of the 26th International Symposium on Model Checking Software,...
Formal methods have a great potential of application in the development of industrial critical syste...
Proceedings of the IEEE International Conference on Engineering of Complex Computer Systems, ICECCS5...
The uncertainties of planning engendered by nondeterminism and partial observability have led to a m...
Add to ORKG