Search for persons
X
?
Proceedings of the 39th ACM/SIGAPP Symposium on Applied Computing ,
2
Attention for the Allocation of Tasks in Multi-Agent Pickup..:
, In:
?
2023 Design, Automation & Test in Europe Conference & Exhibition (DATE) ,
5
The Post-pandemic Effects on IoT for Safety: The Safe Place..:
, In:
?
Intelligent Autonomous Systems 17; Lecture Notes in Networks and Systems ,
6
Synthesis and Monitoring of Complex Tasks for Heterogeneous..:
, In:
?
2023 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS) ,
8
Constrained Reinforcement Learning and Formal Verification ..:
, In:
?
2023 IEEE International Conference on Robotics and Automation (ICRA) ,
10
Online Safety Property Collection and Refinement for Safe D..:
, In:
?
2023 IEEE/CVF International Conference on Computer Vision Workshops (ICCVW) ,
12
Language-enhanced RNR-Map: Querying Renderable Neural Radia..:
, In:
?
Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science ,
13
Verifying Learning-Based Robotic Navigation Systems:
, In:
?
Proceedings of the 37th ACM/SIGAPP Symposium on Applied Computing ,
14