SPASM
发表于 2025-3-23 12:13:47
http://reply.papertrans.cn/24/2334/233372/233372_11.png
Visual-Acuity
发表于 2025-3-23 15:01:55
http://reply.papertrans.cn/24/2334/233372/233372_12.png
走路左晃右晃
发表于 2025-3-23 19:39:20
http://reply.papertrans.cn/24/2334/233372/233372_13.png
史前
发表于 2025-3-24 01:58:33
A Unified Model for Real-Time Systems: Symbolic Techniques and Implementationmata, event-clock automata with and without diagonal constraints, and automata with timers..Our main contribution is a new simulation-based zone algorithm for checking reachability in this unified model. While such algorithms are known to exist for timed automata, and have recently been shown for ev
ALB
发表于 2025-3-24 05:48:27
Closed-Loop Analysis of Vision-Based Autonomous Systems: A Case Studya. Formal analysis of these systems is particularly challenging due to the complexity of the perception DNNs, the sensors (cameras), and the environment conditions. We present a case study applying formal probabilistic analysis techniques to an experimental autonomous system that guides airplanes on
dandruff
发表于 2025-3-24 08:47:23
Hybrid Controller Synthesis for Nonlinear Systems Subject to Reach-Avoid Constraintsical systems. Reinforcement learning (RL) has been deployed successfully to synthesize controllers from user-defined reward functions encoding desired system requirements. However, it remains a significant challenge in synthesizing provably correct controllers with safety and goal-reaching requireme
GOAT
发表于 2025-3-24 10:56:04
http://reply.papertrans.cn/24/2334/233372/233372_17.png
聚集
发表于 2025-3-24 17:06:23
http://reply.papertrans.cn/24/2334/233372/233372_18.png
按等级
发表于 2025-3-24 20:08:49
http://reply.papertrans.cn/24/2334/233372/233372_19.png
GEM
发表于 2025-3-24 23:57:11
http://reply.papertrans.cn/24/2334/233372/233372_20.png