ARTÍCULO
TITULO

Building Models of Real-Time Systems from Application Software, (Invited Paper)

Sifakis    
J. Tripakis    
S. Yovine    
S.    

Resumen

No disponible

 Artículos similares

       
 
WoonSeong Jeong, ByungChan Kong and Sang-Guk Yum    
The demand for compact housing is on the rise, driven by the need for floor plans that accommodate stakeholders? preferences. However, clients frequently struggle to convey their spatial needs to professionals, such as architects, due to a lack of means ... ver más
Revista: Applied Sciences

 
Felipe Coelho de Abreu Pinna, Victor Takashi Hayashi, João Carlos Néto, Rosangela de Fátima Pereira Marquesone, Maísa Cristina Duarte, Rodrigo Suzuki Okada and Wilson Vicente Ruggiero    
Complex and long interactions (e.g., a change of topic during a conversation) justify the use of dialog systems to develop task-oriented chatbots and intelligent virtual assistants. The development of dialog systems requires considerable effort and takes... ver más
Revista: Applied Sciences

 
Haiyang Xu, Huaxing Lu and Shichen Liu    
The Sky View Factor (SVF) stands as a critical metric for quantitatively assessing urban spatial morphology and its estimation method based on Street View Imagery (SVI) has gained significant attention in recent years. However, most existing Street View-... ver más
Revista: Applied Sciences

 
Haoyu Lin, Pengkun Quan, Zhuo Liang, Dongbo Wei and Shichun Di    
In the context of automatic charging for electric vehicles, collision localization for the end-effector of robots not only serves as a crucial visual complement but also provides essential foundations for subsequent response design. In this scenario, dat... ver más
Revista: Applied Sciences

 
Daniel Einarson, Fredrik Frisk, Kamilla Klonowska and Charlotte Sennersten    
Machine learning (ML) is increasingly used in diverse fields, including animal behavior research. However, its application to ambiguous data requires careful consideration to avoid uncritical interpretations. This paper extends prior research on ringed m... ver más
Revista: Applied Sciences