1 – 5 of 184
- show: 5
- |
- sort: year (new to old)
Close
Embed this list
<iframe src=" "
width=" "
height=" "
allowtransparency="true"
frameborder="0">
</iframe>
- 2024
-
Mark
Succinct Opacity Micromaps
2024) High-Performance Graphics 2024 In Proceedings of the ACM in Computer Graphics and Interactive Techniques 7(3).(
- Contribution to journal › Article
-
Mark
VNN: Verification-Friendly Neural Networks with Hard Robustness Guarantees
2024) 41st International Conference on Machine Learning, ICML 2024 In Proceedings of Machine Learning Research 235. p.2846-2856(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Conflict Simulation for Shared Autonomy in Autonomous Driving
2024) 19th Annual ACM/IEEE International Conference on Human-Robot Interaction, HRI 2024 In ACM/IEEE International Conference on Human-Robot Interaction p.882-887(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Hardware and Software Generation from Large Actor Machines in Streaming Applications
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Autonomous Monitors for Detecting Failures Early and Reporting Interpretable Alerts in Cloud Operations
2024) 46th International Conference on Software Engineering, ICSE 2024(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding