PulseTrendingJournal ClubResearchersJournalsExplore
Instagram
HomeTrendingJournal ClubExplore
Synapse
⌘+K
Synapse
May 1, 2019

AutoTap: Synthesizing and Repairing Trigger-Action Programs Using LTL Properties

View Full Paper
Ask AI
Bookmark
Share

Authors

LZLefan ZhangWHWeijia HeJMJesse J. Martinez

Discussion

Loading...

Member takes

Overview

Key Points

Key points are not available for this paper at this time.

Cite This Study

Zhang et al. (2019) studied this question.

synapsesocial.com/papers/69d77c90db9d5e1bf4b8b120https://doi.org/10.1109/icse.2019.00043
View Full Paper
Ask AI
Bookmark
Share