https://github.com/samysweb/ncubev
공식 코드Provably Safe Neural Network Controllers via Differential Dynamic Logic
태스크의 하위 분류와 논문·코드·평가·기법·데이터셋을 탐색하세요.
관련 논문과 평가 결과에 연결된 구현입니다. 출처에서 확인된 저자 구현에는 공식 코드 표시가 있습니다.
Provably Safe Neural Network Controllers via Differential Dynamic Logic
Generating Probabilistic Safety Guarantees for Neural Network Controllers
Pedestrian Collision Avoidance System for Scenarios with Occlusions
Learning an Urban Air Mobility Encounter Model from Expert Preferences
Guaranteeing Safety for Neural Network-Based Aircraft Collision Avoidance Systems
Enhanced Importance Sampling through Latent Space Exploration in Normalizing Flows
Learning Probabilistic Trajectory Models of Aircraft in Terminal Airspace from Position Data
AVOIDDS: Aircraft Vision-based Intruder Detection Dataset and Simulator
Vehicular Visible Light Positioning for Collision Avoidance and Platooning: A Survey
High-Cadence Thermospheric Density Estimation enabled by Machine Learning on Solar Imagery
Path Planning in Dynamic Environments using Generative RNNs and Monte Carlo Tree Search
TrajDiffuse: A Conditional Diffusion Model for Environment-Aware Trajectory Prediction
Collision Probability Distribution Estimation via Temporal Difference Learning
Decentralized Social Navigation with Non-Cooperative Robots via Bi-Level Optimization
EDMP: Ensemble-of-costs-guided Diffusion for Motion Planning
Human-Inspired Multi-Agent Navigation using Knowledge Distillation
Congestion-aware Multi-agent Trajectory Prediction for Collision Avoidance
Curriculum RL meets Monte Carlo Planning: Optimization of a Real World Container Management Problem
Towards Optimally Decentralized Multi-Robot Collision Avoidance via Deep Reinforcement Learning
Scalable Multi-Agent Reinforcement Learning through Intelligent Information Aggregation
Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks
CAD2RL: Real Single-Image Flight without a Single Real Image
출처: Papers with Code · CC BY-SA 4.0. 아카이브 자료와 새로 수집한 논문은 별도로 관리합니다.