#信号时序逻辑

2 stories · 0 in 7 days · 1 in 30 days

LLM-Falsifier 1 SafeDiSTL 1 多智能体强化学习 1 物理系统 1 约束优化 1 网络安全 1

Stories, products and papers tagged "信号时序逻辑", newest first.

Oct 12

Papers Builders11:03

Chinese contentSafeDiSTL：多智能体强化学习安全框架

SafeDiSTL解决了多智能体系统中如何公平分配约束责任的问题，在三个基准任务上显著提升安全性能。

#SafeDiSTL #多智能体强化学习 #信号时序逻辑 #约束优化

arXiv cs.AI@Hongrui Zheng et al. (3)Source

Sep 18

Papers BuildersSelected11:21

LLM-based approach for falsifying cyber-physical systems

For those working on safety-critical systems, this research provides a new approach to verifying system specifications, potentially improving the efficiency of safety testing.

#LLM-Falsifier #cyber-physical systems #falsification #arch-comp

arXiv cs.AI@Ali ArjomandBigdeli et al. (3)Source