VOOZH about

URL: https://arxiv.org/pdf/2604.07414


%PDF-1.7 %���� 1 0 obj << /Lang (en) /Metadata 3 0 R /Names 4 0 R /OpenAction 5 0 R /Outlines 6 0 R /PageMode /UseOutlines /Pages 7 0 R /Type /Catalog /ViewerPreferences << /DisplayDocTitle true >> >> endobj 2 0 obj << /Author (Gricel V�zquez; Calum Imrie; Sepeedeh Shahbeigi; Nawshin Mannan Proma; Tian Gan; Victoria J Hodge; John Molloy; Simos Gerasimou) /CreationDate (D:20260410000229+00'00') /Creator (arXiv GenPDF \(tex2pdf:a6404ea\)) /DOI (https://doi.org/10.48550/arXiv.2604.07414) /Keywords (Situation coverage, out-of-ODD, probabilistic model checking, runtime verification) /License (http://creativecommons.org/licenses/by/4.0/) /ModDate (D:20260410000229+00'00') /PTEX.Fullbanner (This is pdfTeX, Version 3.141592653-2.6-1.40.28 \(TeX Live 2025\) kpathsea version 6.4.1) /Producer (pikepdf 8.15.1) /Title (Formally Guaranteed Control Adaptation for ODD-Resilient Autonomous Systems) /Trapped /False /arXivID (https://arxiv.org/abs/2604.07414v1) >> endobj 3 0 obj << /Subtype /XML /Type /Metadata /Length 17950 >> stream endstream endobj 4 0 obj << /Dests 8 0 R >> endobj 5 0 obj << /D [ 9 0 R /Fit ] /S /GoTo >> endobj 6 0 obj << /Count 8 /First 10 0 R /Last 11 0 R /Type /Outlines >> endobj 7 0 obj << /Count 6 /Kids [ 9 0 R 12 0 R 13 0 R 14 0 R 15 0 R 16 0 R ] /Type /Pages >> endobj 8 0 obj << /Kids [ 17 0 R 18 0 R ] /Limits [ (Doc-Start) (theorem.3.2) ] >> endobj 9 0 obj << /Annots [ 19 0 R 20 0 R 21 0 R 22 0 R 23 0 R 24 0 R 25 0 R 26 0 R 27 0 R 28 0 R 29 0 R ] /Contents [ 30 0 R 31 0 R 32 0 R 33 0 R ] /Group 34 0 R /MediaBox [ 0 0 612 792 ] /Parent 7 0 R /Resources 35 0 R /Type /Page >> endobj 10 0 obj << /A 36 0 R /Next 37 0 R /Parent 6 0 R /Title 38 0 R >> endobj 11 0 obj << /A 39 0 R /Parent 6 0 R /Prev 40 0 R /Title 41 0 R >> endobj 12 0 obj << /Annots [ 42 0 R 43 0 R 44 0 R 45 0 R 46 0 R 47 0 R 48 0 R 49 0 R 50 0 R 51 0 R 52 0 R ] /Contents 53 0 R /MediaBox [ 0 0 612 792 ] /Parent 7 0 R /Resources 54 0 R /Type /Page >> endobj 13 0 obj << /Annots [ 55 0 R 56 0 R 57 0 R 58 0 R 59 0 R 60 0 R ] /Contents 61 0 R /MediaBox [ 0 0 612 792 ] /Parent 7 0 R /Resources 62 0 R /Type /Page >> endobj 14 0 obj << /Annots [ 63 0 R 64 0 R 65 0 R 66 0 R 67 0 R ] /Contents 68 0 R /MediaBox [ 0 0 612 792 ] /Parent 7 0 R /Resources 69 0 R /Type /Page >> endobj 15 0 obj << /Annots [ 70 0 R 71 0 R 72 0 R 73 0 R 74 0 R 75 0 R 76 0 R 77 0 R 78 0 R 79 0 R 80 0 R 81 0 R 82 0 R 83 0 R 84 0 R 85 0 R 86 0 R 87 0 R 88 0 R 89 0 R 90 0 R 91 0 R 92 0 R 93 0 R 94 0 R 95 0 R 96 0 R 97 0 R 98 0 R 99 0 R ] /Contents 100 0 R /Group 101 0 R /MediaBox [ 0 0 612 792 ] /Parent 7 0 R /Resources 102 0 R /Type /Page >> endobj 16 0 obj << /Annots [ 103 0 R 104 0 R 105 0 R 106 0 R 107 0 R 108 0 R 109 0 R 110 0 R 111 0 R 112 0 R 113 0 R 114 0 R 115 0 R 116 0 R 117 0 R 118 0 R 119 0 R ] /Contents 120 0 R /MediaBox [ 0 0 612 792 ] /Parent 7 0 R /Resources 121 0 R /Type /Page >> endobj 17 0 obj << /Kids [ 122 0 R 123 0 R 124 0 R 125 0 R 126 0 R 127 0 R ] /Limits [ (Doc-Start) (cite.weyns2023self) ] >> endobj 18 0 obj << /Kids [ 128 0 R 129 0 R 130 0 R 131 0 R 132 0 R ] /Limits [ (cite.weyns2023towards) (theorem.3.2) ] >> endobj 19 0 obj << /A << /D (page.6) /S /GoTo >> /Border [ 0 0 0 ] /C [ 1 0 0 ] /H /I /Rect [ 107.564 193.486 113.988 203.114 ] /Subtype /Link /Type /Annot >> endobj 20 0 obj << /A << /S /URI /Type /Action /URI (https://doi.org/10.1145/3788550.3794869) >> /Border [ 0 0 0 ] /C [ 0 1 1 ] /H /I /Rect [ 140.233 193.486 288.005 203.114 ] /Subtype /Link /Type /Annot >> endobj 21 0 obj << /A << /S /URI /Type /Action /URI (https://creativecommons.org/licenses/by/4.0) >> /Border [ 0 0 0 ] /C [ 0 1 1 ] /H /I /Rect [ 52.802 133.071 106.9 153.3 ] /Subtype /Link /Type /Annot >> endobj 22 0 obj << /A << /S /URI /Type /Action /URI (https://creativecommons.org/licenses/by/4.0) >> /Border [ 0 0 0 ] /C [ 0 1 1 ] /H /I /Rect [ 52.586 124.958 295.041 132.223 ] /Subtype /Link /Type /Annot >> endobj 23 0 obj << /A << /S /URI /Type /Action /URI (https://creativecommons.org/licenses/by/4.0) >> /Border [ 0 0 0 ] /C [ 0 1 1 ] /H /I /Rect [ 52.802 117.051 80.66 124.092 ] /Subtype /Link /Type /Annot >> endobj 24 0 obj << /A << /S /URI /Type /Action /URI (https://doi.org/10.1145/3788550.3794869) >> /Border [ 0 0 0 ] /C [ 0 1 1 ] /H /I /Rect [ 52.802 81.265 182.351 90.778 ] /Subtype /Link /Type /Annot >> endobj 25 0 obj << /A << /D (cite.rafiq2025symbolic) /S /GoTo >> /Border [ 0 0 0 ] /C [ 0 1 0 ] /H /I /Rect [ 465.572 452.752 477.535 461.317 ] /Subtype /Link /Type /Annot >> endobj 26 0 obj << /A << /D (cite.lee2025enhancing) /S /GoTo >> /Border [ 0 0 0 ] /C [ 0 1 0 ] /H /I /Rect [ 356.193 441.977 368.156 450.358 ] /Subtype /Link /Type /Annot >> endobj 27 0 obj << /A << /D (cite.SAE_J3016_201806) /S /GoTo >> /Border [ 0 0 0 ] /C [ 0 1 0 ] /H /I /Rect [ 388.604 376.04 400.567 384.605 ] /Subtype /Link /Type /Annot >> endobj 28 0 obj << /A << /D (cite.hodge2025outofdistributiondetectionsafetyassurance) /S /GoTo >> /Border [ 0 0 0 ] /C [ 0 1 0 ] /H /I /Rect [ 502.345 343.163 514.308 351.728 ] /Subtype /Link /Type /Annot >> endobj 29 0 obj << /A << /S /URI /URI (https://arxiv.org/abs/2604.07414v1) >> /BS << /W 0 >> /NM (fitz-L0) /Rect [ 12 226.58002 32 565.42 ] /Subtype /Link >> endobj 30 0 obj << /Length 10 /Filter /FlateDecode >> stream x�+��| endstream endobj 31 0 obj << /Filter /FlateDecode /Length 4268 >> stream x��ZIw�6��W�-�{j����v;�=c)ɛg�@��n�������O��M�3�<|i��X���B����_=?��o�.��Z�X(���U�ԏWQ�8 W7��;��Peey.C��|���{�g��������������:�6پ˺��������ӧ뷦-��������+�Bƫ�LE���W���������[Zy��v�jq R��i'��Rj��h�VZ$��]��7��"7L���u ��ԛ��]૑��&:RF�l�O�>�m��*����ܹ�W��3|��ΔdՅ=���D)��'��.>���3�������\�)���u���� 7 u<�l{.}o<��;g��?<8��^"�E��(�d*�Lҕ�q|�'Y�W���o��,P"��eY(��{�x2Q ��r6ER�i0cӵك��e��nM�-�2 �[��+3*�J�R�Љ�o���D���żZk/Z�� 8���p�}�+�/���:��?M�e\*)�}+|�E��3�W]g�U�7��ꦂm����=���)���T��V� �"L��:��o Ǻ��8j���_�s_�4�k��|�$�Y�7,�;�d����E���"�/�����f{܅i_�i�mjn����>O)vx�/7M�H��i�lv�&��l0�>�)-|��Q^" ���p0Q g��� ΃�uQ5 E�Á �f-t�G0$HJ��aO_v�濝��\�&��M�l�4VZ�(\p�ע�ڶ)��o�k<����'�Ib;=�y�!Or��G���"8=?�t�X9�8�v�v�,�F�$����KTe�>-�M�U��R����g���x��;���nQh����ۛ������ǚ�Hq.������Ж�AH���b�S�7��a��DA���3xcɳf�$�/A��b[s�za��{�>@\xH<l�%��$w��؝�h����1jl��&j��Ѓ#�\Bky�=�]��l�uy-�h?���;�m�����`h��� vC�s�B�2$�F�-g��X� H�M��Xc/c9e{��Y�sy��+a1,�i��-�=)*�~���+rX��|Xh'�W5S���5��e��j���[7wk��osSg,����ݗ}/jG��� ���D:H43`j�'�}>>d�}�!�*0s"�@�۞c��Ćoz�*=�b�mN�H����28� �%�(MY7-u�������*��YX��`���?���=�a�`���YI^$e-��V�]Agen��~������_lŁ�N�D���U>d��mÍYZ����6 4�(�ͱ�ӑ�;��R��fg�碱����ޘ���̋}��DYͼ���_pqUQ����H��%Xx_v֧��M;v$��Pg����}8e��QK����Y�ϝ��4P���d�i!R.( v�3�?�W����� �3s��t-u/y8�K���S� � �AV�U����޴�m5�y��'=ۄO!H7�q�s��f�D��7 �K��H�1��\f���=��ݴ�B':ߥF���\4��̒6�l4�Y�&��$��st��=��zL�qgrL[>�,�-��R�2`%P���Lt`Z ��'X� ��l(�+�{�zk��H�`8�'T��97��ؔT ��Y�H���vĮ�c�Z1;�"�}s�2�Β^쀤��V��?��(3��6%}��c��}���^�æ<<�>���?����akt� ���}� P�H|�i3 ,H���Hf �� �h6- �.�y���P]ֿ�������}�3��{�1 &����V��^Ԕ� !�aIe�