However, the state of the art with regard to the quality of the flow has still been defined by traditional methods.
Particularly on small displacements and real-world data, Flow Net cannot compete with variational methods.
Analysis and verification is providing proofs, i.e., an activity that is originally proper to mathematicians.
We mechanize this activity, for proofs about properties of systems.
Among other professional services, he served as the Program Co-chair for the 3rd International Conference on Principles of Knowledge Representation and Reasoning (KR'92), as the Program Co-chair for the 18th German Annual Conference on AI (KI'94), as the General Chair of the 21st German Annual Conference on Artificial Intelligence (KI'97), as the Program Chair for the 17th International Joint Conference on Artificial Intelligence (IJCAI'01), and as Conference Co-Chair of the 18th International Conference on Automated Planning and Scheduling (ICAPS'08).
In 2001, Bernhard Nebel was elected as an ECCAI fellow.
We improve the software productivity and quality by automating the software development process.I have published over 250 papers and articles in robotic and artificial intelligence conferences and journals. Whereas the first one, entitled Principles of Robot Motion - Theory, Algorithms, and Implementations, is about sensor-based planning, stochastic planning, localization, mapping, and motion planning, the second one, entitled Probabilistic Robotics, covers robot perception and control in the face of uncertainty.In 2008, I became a Fellow of the European Coordinating Committee for Artificial Intelligence (ECCAI).In 1998 my group and I went to Washington, DC, to install the mobile robot Minerva in the Smithsonian Museum of American History.Afterwards we produced several robots that autonomously operated in trade shows and Museums.