( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
PerceMon: Online Monitoring for Perception Systems.

, , , , и . RV, том 12974 из Lecture Notes in Computer Science, стр. 297-308. Springer, (2021)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Elion Hoxha

Jonela Hoxhaj

Bajram Hoxhaj

 

Другие публикации лиц с тем же именем

Formalizing and Evaluating Requirements of Perception Systems for Automated Vehicles using Spatio-Temporal Perception Logic., , , , и . CoRR, (2022)Planning in Dynamic Environments Through Temporal Logic Monitoring., и . AAAI Workshop: Planning for Hybrid Systems, том WS-16-12 из AAAI Technical Report, AAAI Press, (2016)978-1-57735-759-9.Checkmate: Fault Timing Localization for Multi-Robot Scenarios., , и . CASE, стр. 1-8. IEEE, (2023)Querying Parametric Temporal Logic Properties on Embedded Systems., , и . ICTSS, том 7641 из Lecture Notes in Computer Science, стр. 136-151. Springer, (2012)A Neurosymbolic Approach to the Verification of Temporal Logic Properties of Learning-enabled Control Systems., , , , , и . ICCPS, стр. 98-109. ACM, (2023)Using S-TaLiRo on Industrial Size AuImmlertomotive Models., , и . ARCH@CPSWeek, том 34 из EPiC Series in Computing, стр. 113-119. EasyChair, (2014)Scaling Learning based Policy Optimization for Temporal Tasks via Dropout., , , , и . CoRR, (2024)Formal Requirements-Driven Analysis of Cyber Physical Systems.. Arizona State University, Tempe, USA, (2017)base-search.net (ftarizonastateun:item:45030).Pattern Matching for Perception Streams., , , , и . RV, том 14245 из Lecture Notes in Computer Science, стр. 251-270. Springer, (2023)Risk-Bounded Control with Kalman Filtering and Stochastic Barrier Functions., , , , и . CDC, стр. 5213-5219. IEEE, (2021)