diff --git a/publications/Cyber-Physical Component Verification with Global Collision Estimation Through Markov Integration.html b/publications/Cyber-Physical Component Verification with Global Collision Estimation Through Markov Integration.html index 409d074..87309d3 100644 --- a/publications/Cyber-Physical Component Verification with Global Collision Estimation Through Markov Integration.html +++ b/publications/Cyber-Physical Component Verification with Global Collision Estimation Through Markov Integration.html @@ -76,7 +76,7 @@