Automated Flaw Detection for Industrial Robot RESTful Service
No abstract available.
Related papers
- Model-driven engineering and run-time model-usage in service robotics GPCE 2011
- Tᴏᴏʟ: accessible automated reasoning for human robot collaboration Onward! 2018
- Verifying Learning-Based Robotic Navigation Systems TACAS 2023
- A domain-specific controlled English language for automated regulatory compliance (industrial paper) SLE 2017
- S: a scripting language for high-performance RESTful web services PPoPP 2012
- Correct Black-Box Monitors for Distributed Deadlock Detection: Formalisation and Implementation OOPSLA 2025
- Detecting problematic message sequences and frequencies in distributed systems OOPSLA 2012
- QuickSilver: modeling and parameterized verification for distributed agreement-based systems OOPSLA 2021