Cited By
View all- Wete EGreenyer JKudenko DNejdl WDastani MSichman JAlechina NDignum V(2024)Multi-Robot Motion and Task Planning in Automotive Production Using Controller-based Safe Reinforcement LearningProceedings of the 23rd International Conference on Autonomous Agents and Multiagent Systems10.5555/3635637.3663056(1928-1937)Online publication date: 6-May-2024
- Cabodi GCamurati PPalena MPasini P(2024)Hardware Model Checking Algorithms and TechniquesAlgorithms10.3390/a1706025317:6(253)Online publication date: 9-Jun-2024
- Garanina NStaroletov SZyubin VAnureev I(2024)Model checking programs in process-oriented IEC 61131-3 Structured TextModeling and Analysis of Information Systems10.18255/1818-1015-2024-1-32-5331:1(32-53)Online publication date: 28-Mar-2024
- Show More Cited By