Specification, stochastic modeling and analysis of interactive service robotic applications

Assistive robotic systems are quickly becoming a core technology for the service sector as they are understood capable of supporting people in need of assistance in a wide variety of tasks. This step poses a number of ethical and technological questions. The research community is wondering how servi...

Celý popis

Uloženo v:

Podrobná bibliografie
Vydáno v:	Robotics and autonomous systems Ročník 163; s. 104387
Hlavní autoři:	Lestingi, Livia, Zerla, Davide, Bersani, Marcello M., Rossi, Matteo
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	Elsevier B.V 01.05.2023
Témata:	Domain-specific languages for robotics Formal methods for robotics Human–robot interaction Model-driven engineering Models of human behavior Service robotics Statistical model-checking Stochastic hybrid automata Formal methods for robotics Model-driven engineering Domain-specific languages for robotics Stochastic hybrid automata Statistical model-checking Models of human behavior Service robotics Human–robot interaction
ISSN:	0921-8890, 1872-793X
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!

Buďte první, kdo okomentuje tento záznam!