Buchumschlag

Verified Synthesis of Optimal Safety Controllers for Human-Robot Collaboration

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Gleirscher, Mario, Calinescu, Radu, Douthwaite, James, Lesage, Benjamin, Paterson, Colin, Aitken, Jonathan, Alexander, Rob, Law, James
Format:	Preprint
Veröffentlicht:	2021
Schlagworte:	Robotics Human-Computer Interaction Software Engineering Systems and Control
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Challenges in the Safety-Security Co-Assurance of Collaborative Industrial Robots
von: Gleirscher, Mario, et al.
Veröffentlicht: (2020)

Safety Controller Synthesis for Collaborative Robots
von: Gleirscher, Mario, et al.
Veröffentlicht: (2020)

Towards Deductive Verification of Control Algorithms for Autonomous Marine Vehicles
von: Foster, Simon, et al.
Veröffentlicht: (2020)

Concept-Guided LLM Agents for Human-AI Safety Codesign
von: Geissler, Florian, et al.
Veröffentlicht: (2024)

Bridging the Socio-Emotional Gap: The Functional Dimension of Human-AI Collaboration for Software Engineering
von: Rani, Lekshmi Murali, et al.
Veröffentlicht: (2026)

Verifying User Interfaces using SPARK Ada: A Case Study of the T34 Syringe Driver
von: Jean, Peterson
Veröffentlicht: (2025)

"Always Nice and Confident, Sometimes Wrong": Developer's Experiences Engaging Large Language Models (LLMs) Versus Human-Powered Q&A Platforms for Coding Support
von: Li, Jiachen, et al.
Veröffentlicht: (2023)

Perceived Usability of Collaborative Modeling Tools
von: Ren, Ranci, et al.
Veröffentlicht: (2024)

Human-Robot Interaction and Perceived Irrationality: A Study of Trust Dynamics and Error Acknowledgment
von: Shill, Ponkoj Chandra, et al.
Veröffentlicht: (2024)

Exploring Human-AI Collaboration in Agile: Customised LLM Meeting Assistants
von: Cabrero-Daniel, Beatriz, et al.
Veröffentlicht: (2024)

Cultural influence on RE activities: An extended analysis of state of the art
von: Muzammel, Chowdhury Shahriar, et al.
Veröffentlicht: (2024)

Cultural Impact on Requirements Engineering Activities: Bangladeshi Practitioners' View
von: Muzammel, Chowdhury Shahriar, et al.
Veröffentlicht: (2025)

Towards Using Personas in Requirements Engineering: What Has Been Changed Recently?
von: Muzammel, Chowdhury Shahriar, et al.
Veröffentlicht: (2025)

Investigating Remote Hands-On Assistance for Collaborative Development of Embedded Systems
von: Chen, Yan, et al.
Veröffentlicht: (2024)

Scaling Human-AI Coding Collaboration Requires a Governable Consensus Layer
von: Wang, Tianfu, et al.
Veröffentlicht: (2026)

AI Where It Matters: Where, Why, and How Developers Want AI Support in Daily Work
von: Choudhuri, Rudrajit, et al.
Veröffentlicht: (2025)

Paradoxes of Openness and Trans Experiences in Open Source Software
von: Frluckaj, Hana, et al.
Veröffentlicht: (2024)

Who is to Blame: A Comprehensive Review of Challenges and Opportunities in Designer-Developer Collaboration
von: Zhang, Shutong, et al.
Veröffentlicht: (2025)

How Developers Interact with AI: A Taxonomy of Human-AI Collaboration in Software Engineering
von: Treude, Christoph, et al.
Veröffentlicht: (2025)

Emotional Contagion in Code: How GitHub Emoji Reactions Shape Developer Collaboration
von: Kraishan, Obada
Veröffentlicht: (2025)

Prototyping with Prompts: Emerging Approaches and Challenges in Generative AI Design for Collaborative Software Teams
von: Subramonyam, Hari, et al.
Veröffentlicht: (2024)

Git Takes Two: Split-View Awareness for Collaborative Learning of Distributed Workflows in Git
von: Bucher, Joel, et al.
Veröffentlicht: (2026)

From OSS to Open Source AI: an Exploratory Study of Collaborative Development Paradigm Divergence
von: Ye, Hengzhi, et al.
Veröffentlicht: (2026)

Why AI Agents Still Need You: Findings from Developer-Agent Collaborations in the Wild
von: Kumar, Aayush, et al.
Veröffentlicht: (2025)

A Graph-based Approach to Human Activity Recognition
von: Peroutka, Thomas, et al.
Veröffentlicht: (2024)

Human Side of Smart Contract Fuzzing: An Empirical Study
von: Qiao, Guanming, et al.
Veröffentlicht: (2025)

From Correctness to Collaboration: Toward a Human-Centered Framework for Evaluating AI Agent Behavior in Software Engineering
von: Dong, Tao, et al.
Veröffentlicht: (2025)

An Exploratory Study on Upper-Level Computing Students' Use of Large Language Models as Tools in a Semester-Long Project
von: Tanay, Ben Arie, et al.
Veröffentlicht: (2024)

Human-Machine Collaboration and Ethical Considerations in Adaptive Cyber-Physical Systems
von: Pfister, Zoe
Veröffentlicht: (2025)

Human in the Loop for Fuzz Testing: Literature Review and the Road Ahead
von: Yu, Jiongchi, et al.
Veröffentlicht: (2026)

MVVM Revisited: Exploring Design Variants of the Model-View-ViewModel Pattern
von: Fuksa, Mario, et al.
Veröffentlicht: (2025)

LLM-enhanced Interactions in Human-Robot Collaborative Drawing with Older Adults
von: Bossema, Marianne, et al.
Veröffentlicht: (2025)

Reassessing Java Code Readability Models with a Human-Centered Approach
von: Sergeyuk, Agnia, et al.
Veröffentlicht: (2024)

How Do Hackathons Foster Creativity? Towards AI Collaborative Evaluation of Creativity at Scale
von: Falk, Jeanette, et al.
Veröffentlicht: (2025)

Beyond Dark Patterns: A Concept-Based Framework for Ethical Software Design
von: Caragay, Evan, et al.
Veröffentlicht: (2023)

In-IDE Human-AI Experience in the Era of Large Language Models; A Literature Review
von: Sergeyuk, Agnia, et al.
Veröffentlicht: (2024)

Understanding the Human-LLM Dynamic: A Literature Survey of LLM Use in Programming Tasks
von: Etsenake, Deborah, et al.
Veröffentlicht: (2024)

Integrating Human Feedback into a Reinforcement Learning-Based Framework for Adaptive User Interfaces
von: Gaspar-Figueiredo, Daniel, et al.
Veröffentlicht: (2025)

Do You Understand How I Feel?: Towards Verified Empathy in Therapy Chatbots
von: Dettori, Francesco, et al.
Veröffentlicht: (2026)

SHAPR: A Solo Human-Centred and AI-Assisted Practice Framework for Research Software Development
von: Chan, Ka Ching
Veröffentlicht: (2026)