We are very pleased to announce that our coordinator, Sylvie Thiebaux, is at the prestigious IJCAI23 conference both as Area Chair and as presenter of the paper "Formal Explanations of Neural Network Policies for Planning".
The workshop for Hierarchical Planning (HPlan) was founded in 2018 and is carried out since then every year at the International Conference of Automated Planning and Scheduling (ICAPS). Among the Organizing Committee of this 2023 edition is Daniel Höller from Saarland University, member of the TUPLES project.
The 2023 ICAPS (International Conference on Automated Planning and Scheduling) featured an array of captivating workshops, and one that involved many TUPLES’ members was the Workshop on Robust Decision Making for Planning and Scheduling (RDDPS).
Rebecca Eifler and Jörg Hoffmann from TUPLES are members of the organizing and steering committees respectively. Daniel Holler, member of the TUPLES Consortium, will give an invited talk.
The second plenary meeting of the Consortium took place in Bologna - Italy.
Are you looking for a summer school on the integration of constraint programming and machine learning? See all details of our ACP summer school
Automatic Metamorphic Test Oracles for Action-Policy Testing AUTHORS: Jan Eisenhut, Álvaro Torralba, Maria Christakis and Joerg Hoffmann
KU Leuven's Machine Learning Group's expertise in hybrid AI and machine learning, as well as their extensive experience in relevant application domains, makes them a valuable partner in the TUPLES project.
SciSports is a rapidly growing sports analytics company that is revolutionizing the sports industry with its innovative use of artificial intelligence (AI).
Prof. Jesse Davis (KU Leuven) and collaborators are organizing The Verifying Learning AI Systems (VeriLearn) workshop in conjunction with the 26th European Conference on Artificial Intelligence, to be held in Krakow, Poland. The goal of the workshop is to bring together researchers interested in exploring how verification and machine learning can be combined to provide strong guarantees about software that learns and adapts itself based on past experiences.
Airbus is a leader in the aerospace industry but also an innovator in AI research and development. Its involvement in the TUPLES project is another example of Airbus's dedication to advancing the field of AI planning and its practical applications in manufacturing and pilot operations.
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
Sylvie Thiebaux, Coordinator of the TUPLES Project, made an introductory presentation of the objectives and challenges of our projects during the ANITI Days