Author of the publication

copy delete add this publication to your clipboard
community post
history of this post
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

SaSTL: Spatial Aggregation Signal Temporal Logic for Runtime Monitoring in Smart Cities.

M. Ma, E. Bartocci, E. Lifland, J. Stankovic, and L. Feng. ICCPS, page 51-62. IEEE, (2020)

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. You can also use the button next to the name to display some publications already assigned to the person.

Yuzhao Ma

Characterization of higher order modes in optical fibersY. Ma. Uni Erlangen-Nürnberg, (2009)

Jingxiang Ma

Tsie Ma

Lan Ma

Ma Li

Other publications of authors with the same name

Towards Understanding and Enhancing Robustness of Deep Learning Models against Malicious Unlearning Attacks.W. Qian, C. Zhao, W. Le, M. Ma, and M. Huai. KDD, page 1932-1942. ACM, (2023)Formal Logic Enabled Personalized Federated Learning through Property Inference.Z. An, T. Johnson, and M. Ma. AAAI, page 10882-10890. AAAI Press, (2024)MicroXercise: A Micro-Level Comparative and Explainable System for Remote Physical Therapy.H. Wang, N. Khan, A. Chen, N. Sarkar, P. Wisniewski, and M. Ma. CHASE, page 73-84. IEEE, (2024)Sim911: Towards Effective and Equitable 9-1-1 Dispatcher Training with an LLM-Enabled Simulation.Z. Chen, E. Chason, N. Mladenovski, E. Wilson, K. Mullen, S. Martini, and M. Ma. CoRR, (2024)Large Language Models for Traffic and Transportation Research: Methodologies, State of the Art, and Future Opportunities.Y. Yan, Y. Liao, G. Xu, R. Yao, H. Fan, J. Sun, X. Wang, J. Sprinkle, Z. An, M. Ma and 6 other author(s). CoRR, (March 2025)Combining LLMs with a Logic-Based Framework to Explain MCTS.Z. An, X. Wang, H. Baier, Z. Chen, A. Dubey, T. Johnson, J. Sprinkle, A. Mukhopadhyay, and M. Ma. AAMAS, page 2405-2407. International Foundation for Autonomous Agents and Multiagent Systems / ACM, (2025)Toward Formal Methods for Smart Cities.M. Ma, J. Stankovic, and L. Feng. Computer, 54 (9): 39-48 (2021)DeResolver: a decentralized negotiation and conflict resolution framework for smart city services.Y. Yuan, M. Ma, S. Han, D. Zhang, F. Miao, J. Stankovic, and S. Lin. ICCPS, page 98-109. ACM, (2021)Predictive Monitoring with Logic-Calibrated Uncertainty for Cyber-Physical Systems.M. Ma, J. Stankovic, E. Bartocci, and L. Feng. ACM Trans. Embed. Comput. Syst., 20 (5s): 101:1-101:25 (2021)A Novel Spatial-Temporal Specification-Based Monitoring System for Smart Cities.M. Ma, E. Bartocci, E. Lifland, J. Stankovic, and L. Feng. IEEE Internet Things J., 8 (15): 11793-11806 (2021)

BibSonomy

Disambiguation of "Ma, Meiyi"

copy delete add this publication to your clipboard
community post
history of this post
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

SaSTL: Spatial Aggregation Signal Temporal Logic for Runtime Monitoring in Smart Cities.

Please choose a person to relate this publication to

Yuzhao Ma

Jingxiang Ma

Tsie Ma

Lan Ma

Ma Li

Other publications of authors with the same name

Disambiguation

BibSonomy

Disambiguation of "Ma, Meiyi"

copydeleteadd this publication to your clipboardcommunity posthistory of this postURLDOIBibTeXEndNoteAPAChicagoDIN 1505HarvardMSOffice XML SaSTL: Spatial Aggregation Signal Temporal Logic for Runtime Monitoring in Smart Cities.

Please choose a person to relate this publication to

Yuzhao Ma

Jingxiang Ma

Tsie Ma

Lan Ma

Ma Li

Other publications of authors with the same name

Disambiguation

copy delete add this publication to your clipboard
community post
history of this post
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

SaSTL: Spatial Aggregation Signal Temporal Logic for Runtime Monitoring in Smart Cities.