Building trustworthy planning
and scheduling systems
What is a reliable Al system?
We want to deeply investigate the technical and algorithmic bases of such systems
The three-year mission of TUPLES is to provide new technical approaches for Planning & Scheduling
We will test our findings on real-world problems and create a test environment for future reliable P&S systems
Founded to bring the practice of Operations Research to the market, Optit offers today operational excellence and effective decision making support systems leveraging on a large range of Analytics and Artificial Intelligence approaches.
Marcel Vinzent PHD at the AI Group at Saarland University has presented at the prestigious AAAI Conference the paper “Neural Policy Safety Verification via Predicate Abstraction: CEGAR.” written by Marcel Vinzent, Siddhant Sharma, Joerg Hoffmann
ANITI, our project coordinator, will bring into the TUPLES project its capacity to connect industrial process and AI
building tools to increase confidence
No harm to people or the environment
Stability and sensitivity in all situations