Automatic Inference and Effective Application of Temporal Specifications

2011 ◽  
pp. 241-307
Author(s):  
Jinlin Yang ◽  
David Evans
Keyword(s):  
Effective Application ◽  
Automatic Inference ◽  
Temporal Specifications

scholarly journals Automatic inference of movements from contact histories

2011 ◽  
Vol 41 (4) ◽  
pp. 386-387 ◽  
Author(s):  
Pengcheng Wang ◽  
Zhaoyu Gao ◽  
Xinhui Xu ◽  
Yujiao Zhou ◽  
Haojin Zhu ◽  
...  
Keyword(s):  
Automatic Inference

scholarly journals Interactive synthesis of temporal specifications from examples and natural language

2020 ◽  
Vol 4 (OOPSLA) ◽  
pp. 1-26
Author(s):  
Ivan Gavran ◽  
Eva Darulova ◽  
Rupak Majumdar
Keyword(s):  
Natural Language ◽  
Temporal Specifications

scholarly journals Synthesis of coordination programs from linear temporal specifications

2020 ◽  
Vol 4 (POPL) ◽  
pp. 1-27
Author(s):  
Suguman Bansal ◽  
Kedar S. Namjoshi ◽  
Yaniv Sa'ar
Keyword(s):  
Temporal Specifications
Sign in / Sign up

Export Citation Format

Share Document