Preston Robinette
Orcid: 0000-0002-4906-2179
According to our database1,
Preston Robinette
authored at least 15 papers
between 2020 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
2020
2021
2022
2023
2024
0
1
2
3
4
5
6
7
2
1
1
1
4
4
2
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
EditScout: Locating Forged Regions from Diffusion-based Edited Images with Multimodal LLM.
CoRR, 2024
Proceedings of the Proceedings Sixth International Workshop on Formal Methods for Autonomous Systems, 2024
CoRR, 2024
Case Study: Neural Network Malware Detection Verification for Feature and Image Datasets.
Proceedings of the 2024 IEEE/ACM 12th International Conference on Formal Methods in Software Engineering (FormaliSE), 2024
Proceedings of the 5th ACM International Conference on AI in Finance, 2024
Proceedings of the ECAI 2024 - 27th European Conference on Artificial Intelligence, 19-24 October 2024, Santiago de Compostela, Spain, 2024
2023
Proceedings of the Bridging the Gap Between AI and Reality, 2023
DEMO: Self-Preserving Genetic Algorithms vs. Safe Reinforcement Learning in Discrete Action Spaces.
Proceedings of the ACM/IEEE 14th International Conference on Cyber-Physical Systems, 2023
Proceedings of the ACM/IEEE 14th International Conference on Cyber-Physical Systems, 2023
Proceedings of the ECAI 2023 - 26th European Conference on Artificial Intelligence, September 30 - October 4, 2023, Kraków, Poland, 2023
2022
An Empirical Analysis of the Use of Real-Time Reachability for the Safety Assurance of Autonomous Vehicles.
CoRR, 2022
Training Agents to Satisfy Timed and Untimed Signal Temporal Logic Specifications with Reinforcement Learning.
Proceedings of the Software Engineering and Formal Methods - 20th International Conference, 2022
On Using Real-Time Reachability for the Safety Assurance of Machine Learning Controllers.
Proceedings of the IEEE International Conference on Assured Autonomy, 2022
2020
Automated detection of pitting and stress corrosion cracks in used nuclear fuel dry storage canisters using residual neural networks.
CoRR, 2020