Autor der Publikation

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.

 

Weitere Publikationen von Autoren mit dem selben Namen

Predictive monitoring with uncertainty for deep learning enabled smart cities: poster abstract., , , und . SenSys, Seite 711-712. ACM, (2020)Simulating Conflict Detection in Heterogeneous Services of a Smart City: Demo Abstract., , und . IoTDI, Seite 275-276. ACM, (2017)A smart city simulation platform with uncertainty., , und . ICCPS, Seite 229-230. ACM, (2021)STLnet: Signal Temporal Logic Enforced Multivariate Recurrent Neural Networks., , , und . NeurIPS, (2020)SaSTL: Spatial Aggregation Signal Temporal Logic for Runtime Monitoring in Smart Cities., , , , und . ICCPS, Seite 51-62. IEEE, (2020)CitySpec: An Intelligent Assistant System for Requirement Specification in Smart Cities., , , , , und . SMARTCOMP, Seite 32-39. IEEE, (2022)ViFin: Harness Passive Vibration to Continuous Micro Finger Writing with a Commodity Smartwatch., , , , , und . Proc. ACM Interact. Mob. Wearable Ubiquitous Technol., 5 (1): 45:1-45:25 (2021)Multi-Agent Reinforcement Learning Guided by Signal Temporal Logic Specifications., , , , , , , und . CoRR, (2023)Toward Formal Methods for Smart Cities., , und . Computer, 54 (9): 39-48 (2021)Fairguard: Harness Logic-based Fairness Rules in Smart Cities., , , , und . IoTDI, Seite 105-116. ACM, (2023)