authors Menghi, Claudio Tsigkanos, Christos Askarpour, Mehrnoosh Pelliccione, Patrizio Vázquez, Gricel Calinescu, Radu García, Sergio
has subject area 0803 Computer Software (FoR) 0806 Information Systems (FoR) 0906 Electrical and Electronic Engineering (FoR) Software Engineering (Science Metrix)
keywords Behavioral sciences Computer Science Computer Science, Software Engineering DSL ENVIRONMENTS Engineering Engineering, Electrical & Electronic Probabilistic logic QUALITY Robotics software engineering Robots Science & Technology Software Software engineering TEMPORAL LOGIC Task analysis Technology domain-specific languages probabilistic reward computation tree logic quantitative properties robotic missions specification