SAT.engine: Automated Planning and Validation Tools for Modern Train Control Systems

doi 10.2495/cr100341
Full Text
Abstract

Available in full text

Date
Authors
Publisher

WIT Press

Related search

Overview Features and Perspectives of Modern Automated Ship Route Planning Systems

Vestnik Gosudarstvennogo universiteta morskogo i rechnogo flota imeni admirala S. O. Makarova
2017English

The Challenges of Verification and Validation of Automated Planning Systems (Keynote)

2013English

Introduction to the Special Issue on Knowledge Engineering Tools and Techniques for Automated Planning and Scheduling Systems

Knowledge Engineering Review
Artificial IntelligenceSoftware
2007English

Development Trends of Modern Automated Process Control Systems at Novovoronezh NPP

Izvestiya Wysshikh Uchebnykh Zawedeniy, Yadernaya Energetika
EngineeringNuclear Energy
2017English

Simulation of Advanced Train Control Systems

IFIP – The International Federation for Information Processing
English

Automated Discharge Planning Systems: Perceived Challenges and Recommendations

Health Care : Current Reviews
2016English

Semantic Theories and Automated Tools for Real-Time and Probabilistic Concurrent Systems

1997English

Design and Implementation of Deadlock Control for Automated Manufacturing Systems

South African Journal of Industrial Engineering
IndustrialManufacturing Engineering
2019English

Control of Autonomous Mobile Robots With Automated Planning

Journal of Physical Agents
ControlSystems EngineeringSoftware
2011English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy