AAAI'26 Expressive Temporal Specifications for Reward Monitoring Omar Adalat, Francesco Belardinelli Abstract PDF Code Poster Bibtex reinforcement learning reward specification
CAIE'25 Model-based generation of manufacturing process plans through on-the-fly topology formation Omar Adalat, Daniele Scrimieri, Shukri Afazov, Svetan Ratchev Abstract PDF Bibtex controller synthesis manufacturing
ICCMA'24 Offline deep reinforcement learning within the baking industry Omar Adalat, Savas Konur Abstract PDF Bibtex offline reinforcement learning
SGAI'23 Optimal Manufacturing Controller Synthesis Using Situation Calculus Omar Adalat, Daniele Scrimieri, Savas Konur Abstract PDF Code Poster Bibtex situation calculus controller synthesis manufacturing
AMT'23 An integrated data- and capability-driven approach to the reconfiguration of agent-based production systems Daniele Scrimieri, Omar Adalat, Shukri Afazov, Svetan Ratchev Abstract PDF Bibtex multiagent manufacturing
UKCI'22 Efficient Finite Element Mesh Mapping Using Octree Indexing Omar Adalat, Daniele Scrimieri Abstract PDF Code Bibtex spatial indexing
UKCI'22 Model-based generation of manufacturing process plans through incremental topology formation Omar Adalat, Muhammad Talal, Mohammed Ali Cherif, Daniele Scrimieri Abstract PDF Code Bibtex controller synthesis manufacturing
MIM'22 Modular reconfiguration of flexible production systems using machine learning and performance estimates Daniele Scrimieri, Omar Adalat, Shukri Afazov, and Svetan Ratchev. Abstract PDF Code Bibtex ml manufacturing