共 50 条
- [21] Mostly-copying reachability-based orthogonal persistence [J]. ACM SIGPLAN NOTICES, 1999, 34 (10) : 382 - 398
- [23] Reachability-Based Robustness of Controllability in Sparse Communication Networks [J]. IEEE TRANSACTIONS ON NETWORK AND SERVICE MANAGEMENT, 2021, 18 (03): : 2764 - 2775
- [24] Not-at-Fault Driving in Traffic: A Reachability-Based Approach [J]. 2019 IEEE INTELLIGENT TRANSPORTATION SYSTEMS CONFERENCE (ITSC), 2019, : 2785 - 2790
- [25] Reachability-Based Approach to Design Interval State Observers [J]. IFAC PAPERSONLINE, 2021, 54 (09): : 125 - 130
- [26] Reachability-Based Safe Learning Framework: Experimental Results [J]. IEEE CONTROL SYSTEMS MAGAZINE, 2023, 43 (05): : 164 - 165
- [28] A flat reachability-based measure for CakeML's cost semantics [J]. PROCEEDINGS OF THE 2021 33RD SYMPOSIUM ON IMPLEMENTATION AND APPLICATION OF FUNCTIONAL LANGUAGES, IFL 2021, 2021, : 1 - 9
- [29] Reducing memory requirements in reachability-based finite automata operations [J]. SOFTWARE-PRACTICE & EXPERIENCE, 2004, 34 (03): : 239 - 248
- [30] A Reachability-Based Planner for Sequences of Acyclic Contacts in Cluttered Environments [J]. ROBOTICS RESEARCH, VOL 2, 2018, 3 : 287 - 303