AXIS
发表于 2025-3-28 14:50:33
http://reply.papertrans.cn/87/8606/860520/860520_41.png
佛刊
发表于 2025-3-28 19:19:25
Safety in the Context of Coordination via Adjustable AutonomyHowever, giving an operator the required control is difficult due to the complexity of the activities such teams engage in and the infeasibility of simply stopping the team whenever human input is required. Our approach to interaction in such a context has three key components which allow us to leve
传染
发表于 2025-3-28 22:58:58
Command and Authorization Services for Multiple Humans Interacting with a Software Control Agent forol agent working on the same underlying advanced life support system. The primary goal of these services is to prevent unknowing or accidental conflicts from arising as a result of issuing commands or taking action on the system. Avoiding such conflicts minimizes the risk of interfering with the wor
Constant
发表于 2025-3-29 03:26:53
http://reply.papertrans.cn/87/8606/860520/860520_44.png
dictator
发表于 2025-3-29 08:12:25
http://reply.papertrans.cn/87/8606/860520/860520_45.png
轻率看法
发表于 2025-3-29 13:52:16
http://reply.papertrans.cn/87/8606/860520/860520_46.png
平庸的人或物
发表于 2025-3-29 19:25:38
http://reply.papertrans.cn/87/8606/860520/860520_47.png
ADAGE
发表于 2025-3-29 21:14:04
Uncertain Agent Verification through Probabilistic Model-Checkingor its (automated) analysis. This paper is meant to exemplify that verification through model-checking can be fruitfully applied also to . multi-agent systems. This, in our view, is the first step towards the characterisation of an automated verification method for probabilistic agents.
THE
发表于 2025-3-30 00:15:57
Command and Authorization Services for Multiple Humans Interacting with a Software Control Agent fork of another agent or putting the system into an unsafe operating state. This paper provides an overview of the advanced life support system at NASA to which this work has been applied and then discusses details for authorization, overrides, and system reconfiguration for commanding.
煞费苦心
发表于 2025-3-30 06:59:34
Using Multi-agent Systems to Specify Safe and Secure Services for Virtual Organisationshe interrelationships, interactions and behaviours of agents in MAS and multi-MAS (MMAS) are analogous to those in VO. MAS provide a useful method of modelling VO, to manage their and to make them secure and safer.