Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by S. Jurtz
SAT.engine: Automated Planning and Validation Tools for Modern Train Control Systems
Related publications
Overview Features and Perspectives of Modern Automated Ship Route Planning Systems
Vestnik Gosudarstvennogo universiteta morskogo i rechnogo flota imeni admirala S. O. Makarova
The Challenges of Verification and Validation of Automated Planning Systems (Keynote)
Introduction to the Special Issue on Knowledge Engineering Tools and Techniques for Automated Planning and Scheduling Systems
Knowledge Engineering Review
Artificial Intelligence
Software
Development Trends of Modern Automated Process Control Systems at Novovoronezh NPP
Izvestiya Wysshikh Uchebnykh Zawedeniy, Yadernaya Energetika
Engineering
Nuclear Energy
Simulation of Advanced Train Control Systems
IFIP – The International Federation for Information Processing
Automated Discharge Planning Systems: Perceived Challenges and Recommendations
Health Care : Current Reviews
Semantic Theories and Automated Tools for Real-Time and Probabilistic Concurrent Systems
Design and Implementation of Deadlock Control for Automated Manufacturing Systems
South African Journal of Industrial Engineering
Industrial
Manufacturing Engineering
Control of Autonomous Mobile Robots With Automated Planning
Journal of Physical Agents
Control
Systems Engineering
Software
