( en | de | ru )

 

Disambiguierung von "Hoxha, Bardh"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Planning in Dynamic Environments Through Temporal Logic Monitoring.

, und . AAAI Workshop: Planning for Hybrid Systems, Volume WS-16-12 von AAAI Technical Report, AAAI Press, (2016)978-1-57735-759-9.

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Elion Hoxha

Jonela Hoxhaj

Bajram Hoxhaj

 

Weitere Publikationen von Autoren mit dem selben Namen

Risk-Bounded Control with Kalman Filtering and Stochastic Barrier Functions., , , , und . CDC, Seite 5213-5219. IEEE, (2021)Pattern Matching for Perception Streams., , , , und . RV, Volume 14245 von Lecture Notes in Computer Science, Seite 251-270. Springer, (2023)Formal Requirements-Driven Analysis of Cyber Physical Systems.. Arizona State University, Tempe, USA, (2017)base-search.net (ftarizonastateun:item:45030).Timed Partial Order Inference Algorithm., , , , , , und . ICAPS, Seite 639-647. AAAI Press, (2023)Querying Parametric Temporal Logic Properties on Embedded Systems., , und . ICTSS, Volume 7641 von Lecture Notes in Computer Science, Seite 136-151. Springer, (2012)A Neurosymbolic Approach to the Verification of Temporal Logic Properties of Learning-enabled Control Systems., , , , , und . ICCPS, Seite 98-109. ACM, (2023)Planning in Dynamic Environments Through Temporal Logic Monitoring., und . AAAI Workshop: Planning for Hybrid Systems, Volume WS-16-12 von AAAI Technical Report, AAAI Press, (2016)978-1-57735-759-9.Using S-TaLiRo on Industrial Size AuImmlertomotive Models., , und . ARCH@CPSWeek, Volume 34 von EPiC Series in Computing, Seite 113-119. EasyChair, (2014)Checkmate: Fault Timing Localization for Multi-Robot Scenarios., , und . CASE, Seite 1-8. IEEE, (2023)Robust Conformal Prediction for STL Runtime Verification under Distribution Shift., , , , und . ICCPS, Seite 169-179. IEEE, (2024)