We make the measurability of our R&D results one of our primary tasks. We want to show to the world that semantic technologies are becoming reality. Find out more about our results and our spin-off companies.
Using Predicate Abstraction to Generate Heuristic Functions in UPPAAL
Book title:
Post-Proceedings of 4th Workshop on Model Checking and Artificial Intelligence (MoChArt'06)
Publisher:
Springer-Verlag
Contact person in charge.