Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Witold Klaudel
Modeling and Checking Robustness of Communicating Autonomous Vehicles
Advances in Intelligent Systems and Computing
Control
Systems Engineering
Computer Science
Related publications
Supervision of Autonomous Vehicles: Mutual Modeling and Interaction Management
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Computational Hydrodynamics and Control Modeling for Autonomous Underwater Vehicles
Compatibility Checking for Asynchronously Communicating Software
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Model Checking Logics for Communicating Sequential Agents
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
A Basis for Formal Robustness Checking
Irregular Operation of Autonomous Vehicles
Production Engineering Archives
Autonomous Vehicles: Basic Issues
Scientific Journal of Silesian University of Technology. Series Transport
Modeling and Analysis of Communicating Systems
Cooperative Systems for Autonomous Vehicles
Journal of Advanced Transportation
Management
Mechanical Engineering
Automotive Engineering
Economics
Strategy
Computer Science Applications
Econometrics
