Preston Robinette

Orcid: 0000-0002-4906-2179

According to our database1, Preston Robinette authored at least 15 papers between 2020 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

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
Other 

Links

On csauthors.net:

Bibliography

2024
EditScout: Locating Forged Regions from Diffusion-based Edited Images with Multimodal LLM.
CoRR, 2024

Formalizing Stateful Behavior Trees.
Proceedings of the Proceedings Sixth International Workshop on Formal Methods for Autonomous Systems, 2024

Trigger-Based Fragile Model Watermarking for Image Transformation Networks.
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

FairNNV: The Neural Network Verification Tool For Certifying Fairness.
Proceedings of the 5th ACM International Conference on AI in Finance, 2024

Sanitizing Hidden Information with Diffusion Models.
Proceedings of the ECAI 2024 - 27th European Conference on Artificial Intelligence, 19-24 October 2024, Santiago de Compostela, Spain, 2024

2023
Monsters in the Dark: Sanitizing Hidden Threats with Diffusion Models.
CoRR, 2023

Benchmark: Neural Network Malware Classification.
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

Self-Preserving Genetic Algorithms for Safe Learning in Discrete Action Spaces.
Proceedings of the ACM/IEEE 14th International Conference on Cyber-Physical Systems, 2023

SUDS: Sanitizing Universal and Dependent Steganography.
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


  Loading...