본문

  1. Home
6 Results:SS:FORMALMETHOD 0.62 sec.
RSS 
Multilingual
 Расширенный поиск
 Новый поиск книги прибытия
1
Automating Contract-Based Design for Cyber-Physical Systems
Automating Contract-Based Design for Cyber-Physical Systems
Yu, Sheng-Jung. | University of California, Berkeley | 2025
Preview
Местоположение
2
Reachability Analysis for Characterizing the Effects of Robotic Assistive Devices on Human Stability
Reachability Analysis for Characterizing the Effects of Robotic Assistive Devices on Human Stability
Raz, Daphna R. | University of Michigan | 2025
Preview
Местоположение
3
From Local Coordination to System-Level Strategies: Designing Reliable, Societal-Scale Multi-Agent Autonomy Across Scales
From Local Coordination to System-Level Strategies: Designing Reliable, Societal-Scale Multi-Agent Autonomy Across Scales
Tuck, Victoria Marie. | University of California, Berkeley | 2025
Preview
Местоположение
4
Modular Control Plane Verification
Modular Control Plane Verification
Alberdingk Thijm, Timothy Robin. | Princeton University | 2024
Preview
Местоположение
5
High-level Collaborative Task Planning for Heterogeneous Multi-robot Systems
High-level Collaborative Task Planning for Heterogeneous Multi-robot Systems
Fang, Amy. | Cornell University | 2024
Preview
Местоположение
6
Formal Modeling Languages for High-assurance Domain-specific Systems : 高保障特定领域系统的形式化建模语言
Formal Modeling Languages for High-assurance Domain-specific Systems : 高保障特定领域系统的形式化建模语言
Ni, Haobin. | Cornell University | 2024
Preview
Местоположение
처음1마지막