Naukowcy opracowali metodę monitorowania systemów autonomicznych opartych na percepcji wizyjnej w czasie rzeczywistym, wykorzystując logikę temporalną. Podejście to umożliwia weryfikację zachowania systemów AI w ciągłym działaniu poprzez sprawdzanie zgodności z określonymi logikami czasowymi. To istotne dla bezpieczeństwa autonomicznych pojazdów i robotyki, gdzie błędy w percepcji mogą mieć poważne konsekwencje. Technologia potencjalnie ułatwi certyfikację i wdrażanie systemów autonomicznych w a