With this function you can construct your weekly calendar of lessons, which is customized on the basis of the courses that you intend to follow.
Warning: the personal schedule does not replace the presentation of the study plan! It's an informal tool that can help you better manage the organization of class attendance before the study plan presentation.
After the study plan presentation we recommend you to use the Lecture timetable service in your Online Services.
To create your customized schedule follow these instructions:
- Click on the "Enable" link to proceed. You will be asked your surname and first name in order to determine your alphabetic grouping.
-
To add or remove courses from your personal schedule, use the small icons which are found next to the courses:
 addition of the course removal of the course selection of the section of the Laboratory of Architecture
(Note: the effective area in which the teaching will be carried out will be determined after the presentation of the Study Plans)
-
The sidebar on the left displays the number of lessons included in schedule.
There are also these commands:
 View the schedule: allows the viewing of the weekly synoptic schedule Delete the schedule: cancels the selections made
When you have finished the entry, you can print the calendar you have made.
| Semester (Sem) | | 1 | First Semester | | 2 | Second Semester | | A | Annual course | | (1) | First Half-semester | | (2) | Second Half-semester |
|
Language
|
|
|
Course completely offered in italian
|
|
|
Course completely offered in english
|
|
--
|
Not available
|
|
Note on the teaching activities
|
The calculation of the number of students enrolled only considers students enrolled in the academic year in question and does not include any possible students who may be attending but who are enrolled in previous academic years.
In case of structured courses taught by more professors, the number of students enrolled is related to the individual professor module, while the students opinion of the teaching is related to the course as a whole.
The data related to the last academic years (number of students enrolled and students opinion of the teaching) have not yet been defined.
|
|
Information on didactic, research and institutional assignments on this page are certified by the University; more information, prepared by the professor, are available on the personal web page and in the curriculum vitae indicated on this webpage.
| Professor's office hours | | Department | Floor | Office | Day | Timetable | Telephone | Fax | Notes |
|---|
| Dipartimento di Meccanica | -- | -- | -- | From :
To : | (02.2339).3561 | -- | Su appuntamento (contattare via telefono o email) |
| | E-mail | matteo.rossi@polimi.it | | Professor's personal website | -- |
| List of publications and reserach products for the year 2023 (Show all details | Hide all details) |
| Type |
Title of the Publicaiton/Product |
| Conference proceedings |
|
A Conceptual Framework for Explainability Requirements in Software-Intensive Systems (Show >>)(Hide <<)
|
| Author/s |
Bersani, Marcello M.; Camilli, Matteo; Lestingi, Livia; Mirandola, Raffaela; Rossi, Matteo; Scandurra, Patrizia |
| Title of the convention |
2023 IEEE 31st International Requirements Engineering Conference Workshops (REW) |
| Location of the convention |
Hannover, Germany |
| Title of the review |
--
|
| Pages |
309 - 315 |
| Item link |
http://hdl.handle.net/11311/1251661 |
|
|
A Formal Approach to the Verification of Protection Systems in Low-Voltage Distribution Grids (Show >>)(Hide <<)
|
| Author/s |
Mansour, Ahmed Nagy Abdelkhalek; Grillo, Samuele; Ragaini, Enrico; Rossi, Matteo |
| Title of the convention |
2023 IEEE/ACM 11th International Conference on Formal Methods in Software Engineering (FormaliSE) |
| Location of the convention |
Melbourne |
| Title of the review |
--
|
| Pages |
120 - 129 |
| Item link |
http://hdl.handle.net/11311/1245879 |
|
| Author/s |
Bersani, Marcello M.; Camilli, Matteo; Lestingi, Livia; Mirandola, Raffaela; Rossi, Matteo; Scandurra, Patrizia |
| Title of the convention |
European Conference on Software Architecture (ECSA 2023) |
| Location of the convention |
Istanbul, Turkey |
| Title of the review |
--
|
| Pages |
153 - 169 |
| Item link |
http://hdl.handle.net/11311/1249858 |
|
|
Explainable Human-Machine Teaming using Model Checking and Interpretable Machine Learning (Show >>)(Hide <<)
|
| Author/s |
Bersani, Marcello M.; Camilli, Matteo; Lestingi, Livia; Mirandola, Raffaela; Rossi, Matteo |
| Title of the convention |
11th International Conference on Formal Methods in Software Engineering (FormaliSE) |
| Location of the convention |
Melbourne, Australia |
| Title of the review |
--
|
| Pages |
18 - 28 |
| Item link |
http://hdl.handle.net/11311/1243584 |
|
|
Interoperability of Heterogeneous Systems of Systems: Review of Challenges, Emerging Requirements and Options (Show >>)(Hide <<)
|
| Author/s |
Sadeghi, Mersedeh; Carenini, Alessio; Corcho, Oscar; Rossi, Matteo; Santoro, Riccardo; Vogelsang, Andreas |
| Title of the convention |
38th ACM/SIGAPP Symposium on Applied Computing |
| Location of the convention |
Tallinn, Estonia |
| Title of the review |
--
|
| Pages |
741 - 750 |
| Item link |
http://hdl.handle.net/11311/1240258 |
|
|
Rigorous Automated Verification of Protection Systems in LV Distribution Grids (Show >>)(Hide <<)
|
| Author/s |
Mansour, Ahmed Nagy Abdelkhalek; Grillo, Samuele; Ragaini, Enrico; Rossi, Matteo |
| Title of the convention |
2023 IEEE International Conference on Environment and Electrical Engineering and 2023 IEEE Industrial and Commercial Power Systems Europe (EEEIC / I&CPS Europe) |
| Location of the convention |
Madrid |
| Period of the convention |
06/06/2023-09/06/2023 |
| Title of the review |
--
|
| Pages |
1 - 6 |
| Item link |
http://hdl.handle.net/11311/1247482 |
|
|
Towards Better Trust in Human-Machine Teaming through Explainable Dependability (Show >>)(Hide <<)
|
| Author/s |
Bersani, Marcello M.; Camilli, Matteo; Lestingi, Livia; Mirandola, Raffaela; Rossi, Matteo; Scandurra, Patrizia |
| Title of the convention |
IEEE 20th International Conference on Software Architecture |
| Location of the convention |
L'Aquila, Italy |
| Title of the review |
--
|
| Pages |
86 - 90 |
| Item link |
http://hdl.handle.net/11311/1236165 |
|
| Journal Articles |
|
Analyzing the impact of human errors on interactive service robotic scenarios via formal verification (Show >>)(Hide <<)
|
| Author/s |
Lestingi, Livia; Manglaviti, Andrea; Marinaro, Davide; Marinello, Luca; Askarpour, Mehrnoosh; Bersani, Marcello M.; Rossi, Matteo |
| Title of the review |
SOFTWARE AND SYSTEMS MODELING (ISSN: 1619-1366) |
| Volume |
[Online 2023] |
| Brochure |
-- |
| Pages |
1 - 30 |
| Item link |
http://hdl.handle.net/11311/1247937 |
|
|
Automated Creation of Mappings between Data Specifications through Linguistic and Structural Techniques (Show >>)(Hide <<)
|
| Author/s |
Kalwar, Safia; Rossi, Matteo; Sadeghi, Mersedeh |
| Title of the review |
IEEE ACCESS (ISSN: 2169-3536) |
| Volume |
11 |
| Brochure |
-- |
| Pages |
30324 - 30339 |
| Item link |
http://hdl.handle.net/11311/1232570 |
|
|
Specification, stochastic modeling and analysis of interactive service robotic applications (Show >>)(Hide <<)
|
| Author/s |
Lestingi, Livia; Zerla, Davide; Bersani, Marcello M.; Rossi, Matteo |
| Title of the review |
ROBOTICS AND AUTONOMOUS SYSTEMS (ISSN: 0921-8890) |
| Volume |
163 |
| Brochure |
-- |
| Pages |
104387 - 104420 |
| Item link |
http://hdl.handle.net/11311/1231048 |
|
| List of publications and reserach products for the year 2022 (Show all details | Hide all details) |
| Type |
Title of the Publicaiton/Product |
| Conference proceedings |
| Author/s |
Samavati, Sepehr; Nemirovskiy, Alexander; Rossi, Matteo |
| Title of the convention |
International Conference on Intelligent Transportation Systems |
| Location of the convention |
Macau |
| Period of the convention |
08/10/2022-12/10/2022 |
| Title of the review |
--
|
| Pages |
2655 - 2662 |
| Item link |
http://hdl.handle.net/11311/1223156 |
|
|
Formal Modeling and Verification of Multi-Robot Interactive Scenarios in Service Settings (Show >>)(Hide <<)
|
| Author/s |
Lestingi, Livia; Sbrolli, Cristian; Scarmozzino, Pasquale; Romeo, Giorgio; Bersani, Marcello M.; Rossi, MATTEO GIOVANNI |
| Title of the convention |
10th IEEE/ACM International Conference on Formal Methods in Software Engineering, FormaliSE@ICSE 2022 |
| Location of the convention |
Pittsburgh, PA, USA |
| Title of the review |
--
|
| Pages |
80 - 90 |
| Item link |
http://hdl.handle.net/11311/1218320 |
|
|
Personalized Context-Aware Recommender System for Travelers (Show >>)(Hide <<)
|
| Author/s |
Shekari, Mahsa; JAVADIAN SABET, Alireza; Guan, Chaofeng; Rossi, MATTEO GIOVANNI; Schreiber, Fabio A.; Tanca, Letizia |
| Title of the convention |
30th Italian Symposium on Advanced Database Systems, SEBD 2022 |
| Location of the convention |
Tirrenia (Italy) |
| Period of the convention |
19/06/2022-22/06/2022 |
| Title of the review |
--
|
| Pages |
497 - 504 |
| Item link |
http://hdl.handle.net/11311/1223162 |
|
| Journal Articles |
|
Model-Driven Development of Service Robot Applications Dealing with Uncertain Human Behavior (Show >>)(Hide <<)
|
| Author/s |
Lestingi, L.; Bersani, M. M.; Rossi, M. |
| Title of the review |
IEEE INTELLIGENT SYSTEMS (ISSN: 1941-1294) |
| Volume |
37 |
| Brochure |
-- |
| Pages |
1 - 10 |
| Item link |
http://hdl.handle.net/11311/1223151 |
|
|
On How Bit-Vector Logic Can Help Verify LTL-based Specifications (Show >>)(Hide <<)
|
| Author/s |
Pourhashem Kallehbasti, Mohammad Mehdi; Rossi, Matteo Giovanni; Baresi, Luciano |
| Title of the review |
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING (ISSN: 0098-5589) |
| Volume |
48 |
| Brochure |
4 |
| Pages |
1154 - 1168 |
| Item link |
http://hdl.handle.net/11311/1154585 |
|
|
THOR: A Hybrid Recommender System for the Personalized Travel Experience (Show >>)(Hide <<)
|
| Author/s |
Javadian Sabet, Alireza; Shekari, Mahsa; Guan, Chaofeng; Rossi, Matteo; Schreiber, Fabio; Tanca, Letizia |
| Title of the review |
BIG DATA AND COGNITIVE COMPUTING (ISSN: 2504-2289) |
| Volume |
6 |
| Brochure |
4 |
| Pages |
1 - 19 |
| Item link |
http://hdl.handle.net/11311/1223157 |
|
| List of publications and reserach products for the year 2021 (Show all details | Hide all details) |
| Type |
Title of the Publicaiton/Product |
| Conference proceedings |
|
A semantic-based access control mechanism for distributed systems (Show >>)(Hide <<)
|
| Author/s |
Sadeghi, M.; Sartor, L.; Rossi, M. |
| Title of the convention |
36th Annual ACM Symposium on Applied Computing, SAC 2021 |
| Location of the convention |
Korea |
| Period of the convention |
2021 |
| Title of the review |
--
|
| Pages |
1864 - 1873 |
| Item link |
http://hdl.handle.net/11311/1187753 |
|
| Author/s |
Smith, Robert L.; Bersani, Marcello M.; Rossi, Matteo; Pietro, Pierluigi San |
| Title of the convention |
IEEE/ACM 9th International Conference on Formal Methods in Software Engineering (FormaliSE) |
| Location of the convention |
Madrid |
| Title of the review |
--
|
| Pages |
97 - 110 |
| Item link |
http://hdl.handle.net/11311/1186110 |
|
| Author/s |
PINCIROLI VAGO, NICOLÒ ORESTE; Sacaj, Mario; Sadeghi, Mersedeh; Kalwar, Safia; Vogelsang, Andreas; Rossi, Matteo G. |
| Title of the convention |
Sem4Tra 2021 - Semantics And The Web For Transport 2021 |
| Location of the convention |
Online |
| Title of the review |
--
|
| Pages |
1 - 10 |
| Item link |
http://hdl.handle.net/11311/1203194 |
|
| Author/s |
Sabet, A. J.; Gopalakrishnan, S.; Rossi, M.; Schreiber, F. A.; Tanca, L. |
| Title of the convention |
2021 IEEE International Conference on Artificial Intelligence and Computer Applications, ICAICA 2021 |
| Location of the convention |
chn |
| Period of the convention |
2021 |
| Title of the review |
--
|
| Pages |
358 - 365 |
| Item link |
http://hdl.handle.net/11311/1190977 |
|
| Author/s |
Askarpour, Mehrnoosh; Tsigkanos, Christos; Menghi, Claudio; Calinescu, Radu; Pelliccione, Patrizio; Garcia, Sergio; Caldas, Ricardo; von Oertzen, Tim J; Wimmer, Manuel; Berardinelli, Luca; Rossi, Matteo; Bersani, Marcello M.; Rodrigues, Gabriel S. |
| Title of the convention |
2021 International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS) |
| Location of the convention |
Madrid |
| Title of the review |
--
|
| Pages |
245 - 251 |
| Item link |
http://hdl.handle.net/11311/1186111 |
|
|
SMART: Towards automated mapping between data specifications (Show >>)(Hide <<)
|
| Author/s |
Kalwar, S.; Sadeghi, M.; Sabet, A. J.; Nemirovskiy, A.; Rossi, M. |
| Title of the convention |
33rd International Conference on Software Engineering and Knowledge Engineering, SEKE 2021 |
| Location of the convention |
KSIR Virtual Conference Center, usa |
| Period of the convention |
2021 |
| Title of the review |
--
|
| Pages |
429 - 436 |
| Item link |
http://hdl.handle.net/11311/1186112 |
|
|
Temporal Pattern Recognition in Graph Data Structures (Show >>)(Hide <<)
|
| Author/s |
Daverio, Pietro; Chaudhry, HASSAN NAZEER; Margara, Alessandro; Rossi, MATTEO GIOVANNI |
| Title of the convention |
IEEE International Conference on Big Data |
| Location of the convention |
Orlando, FL, USA |
| Title of the review |
--
|
| Pages |
2753 - 2763 |
| Item link |
http://hdl.handle.net/11311/1198509 |
|
| Journal Articles |
|
A Deployment Framework for Formally Verified Human-Robot Interactions (Show >>)(Hide <<)
|
| Author/s |
Lestingi, Livia; Askarpour, Mehrnoosh; Bersani, Marcello M.; Rossi, Matteo Giovanni |
| Title of the review |
IEEE ACCESS (ISSN: 2169-3536) |
| Volume |
9 |
| Brochure |
-- |
| Pages |
136616 - 136635 |
| Item link |
http://hdl.handle.net/11311/1186933 |
|
|
A semantic-based access control approach for systems of systems (Show >>)(Hide <<)
|
| Author/s |
Sadeghi, Mersedeh; Sartor, Luca; Rossi, Matteo |
| Title of the review |
APPLIED COMPUTING REVIEW (ISSN: 1559-6915) |
| Volume |
21 |
| Brochure |
4 |
| Pages |
5 - 19 |
| Item link |
http://hdl.handle.net/11311/1207349 |
|
|
Formally-based Model-Driven Development of Collaborative Robotic Applications (Show >>)(Hide <<)
|
| Author/s |
Askarpour, Mehrnoosh; Lestingi, Livia; Longoni, Samuele; Iannacci, Niccolò; Rossi, Matteo; Vicentini, Federico |
| Title of the review |
JOURNAL OF INTELLIGENT & ROBOTIC SYSTEMS (ISSN: 0921-0296) |
| Volume |
102 |
| Brochure |
3 |
| Pages |
1 - 26 |
| Item link |
http://hdl.handle.net/11311/1175632 |
|
| List of publications and reserach products for the year 2020 (Show all details | Hide all details) |
| Type |
Title of the Publicaiton/Product |
| Conference proceedings |
|
A Model-driven Approach for the Formal Analysis of Human-Robot Interaction Scenarios (Show >>)(Hide <<)
|
| Author/s |
Lestingi, L.; Askarpour, M.; Bersani, M. M.; Rossi, M. G. |
| Title of the convention |
2020 IEEE International Conference on Systems, Man, and Cybernetics (SMC) |
| Location of the convention |
Toronto, ON, Canada |
| Title of the review |
--
|
| Pages |
1907 - 1914 |
| Item link |
http://hdl.handle.net/11311/1155630 |
|
|
Co-simulation of human-robot collaboration: From temporal logic to 3d simulation (Show >>)(Hide <<)
|
| Author/s |
Askarpour, M.; Rossi, M.; Tiryakiler, O. |
| Title of the convention |
1st Workshop on Agents and Robots for Reliable Engineered Autonomy, AREA 2020 |
| Location of the convention |
Santiago de Compostela, Spain |
| Period of the convention |
2020 |
| Title of the review |
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE (ISSN: 2075-2180)
|
| Pages |
1 - 8 |
| Item link |
http://hdl.handle.net/11311/1165676 |
|
|
Context Awareness in the Travel Companion of the Shift2Rail Initiative (Show >>)(Hide <<)
|
| Author/s |
Javadian Sabet, A.; Rossi, M.; Schreiber, F. A.; Tanca, L. |
| Title of the convention |
28th Italian Symposium on Advanced Database Systems, SEBD 2020 |
| Location of the convention |
Villa Simius |
| Period of the convention |
2020 |
| Title of the review |
--
|
| Pages |
202 - 209 |
| Item link |
http://hdl.handle.net/11311/1166951 |
|
|
Formal Verification of Human-Robot Interaction in Healthcare Scenarios (Show >>)(Hide <<)
|
| Author/s |
Lestingi, Livia; Askarpour, Mehrnoosh; Bersani, Marcello M.; Rossi, Matteo |
| Title of the convention |
International Conference on Software Engineering and Formal Methods |
| Location of the convention |
Amsterdam, The Netherlands |
| Title of the review |
--
|
| Pages |
303 - 324 |
| Item link |
http://hdl.handle.net/11311/1146286 |
|
|
Model-driven Risk Analysis for the Design of Safe Collaborative Robotic Applications (Show >>)(Hide <<)
|
| Author/s |
Askarpour, Mehrnoosh; Lestingi, Livia; Buran, Federico; Rossi, Matteo Giovanni; Vicentini, Federico |
| Title of the convention |
2020 IEEE International Conference on Human-Machine Systems (ICHMS) |
| Location of the convention |
Rome, Italy, Italy |
| Title of the review |
--
|
| Pages |
1 - 6 |
| Item link |
http://hdl.handle.net/11311/1146854 |
|
|
SPRINT: Semantics for PerfoRmant and scalable INteroperability of multimodal Transport (Show >>)(Hide <<)
|
| Author/s |
Sadeghi, M.; Buchníček, P.; Carenini, A.; Corcho, O.; Gogos, S.; Rossi, M.; Santoro, R. |
| Title of the convention |
8th Transport Research Arena TRA 2020 |
| Location of the convention |
Helsinki |
| Title of the review |
--
|
| Pages |
1 - 10 |
| Item link |
http://hdl.handle.net/11311/1132635 |
|
|
Statistical Model Checking of Human-Robot Interaction Scenarios (Show >>)(Hide <<)
|
| Author/s |
Lestingi, Livia; Askarpour, Mehrnoosh; Bersani, Marcello M.; Rossi, Matteo |
| Title of the convention |
First Workshop on Agents and Robots for reliable Engineered Autonomy |
| Location of the convention |
Santiago de Compostela, Spain |
| Title of the review |
--
|
| Pages |
9 - 17 |
| Item link |
http://hdl.handle.net/11311/1146284 |
|
|
Towards learning travelers’ preferences in a context-aware fashion (Show >>)(Hide <<)
|
| Author/s |
Javadian Sabet, A.; Rossi, M.; Schreiber, F. A.; Tanca, L. |
| Title of the convention |
11th International Symposium on Ambient Intelligence, ISAmI 2020 |
| Location of the convention |
ita |
| Period of the convention |
2020 |
| Title of the review |
--
|
| Pages |
203 - 212 |
| Item link |
http://hdl.handle.net/11311/1166953 |
|
| Journal Articles |
|
Model Checking MITL Formulae on Timed Automata: A Logic-based Approach (Show >>)(Hide <<)
|
| Author/s |
Menghi, C.; Bersani, M. M.; Rossi, M.; San Pietro, P. |
| Title of the review |
ACM TRANSACTIONS ON COMPUTATIONAL LOGIC (ISSN: 1529-3785) |
| Volume |
21 |
| Brochure |
3 |
| Pages |
1 - 44 |
| Item link |
http://hdl.handle.net/11311/1139946 |
|
|
PuRSUE -from specification of robotic environments to synthesis of controllers (Show >>)(Hide <<)
|
| Author/s |
Bersani, Marcello M.; Soldo, Matteo; Menghi, Claudio; Pelliccione, Patrizio; Rossi, Matteo |
| Title of the review |
FORMAL ASPECTS OF COMPUTING (ISSN: 0934-5043) |
| Volume |
32 |
| Brochure |
-- |
| Pages |
187 - 227 |
| Item link |
http://hdl.handle.net/11311/1135430 |
|
|
Using formal verification to evaluate the execution time of Spark applications (Show >>)(Hide <<)
|
| Author/s |
Baresi, L.; Bersani, M. M.; Marconi, F.; Quattrocchi, G.; Rossi, M. |
| Title of the review |
FORMAL ASPECTS OF COMPUTING (ISSN: 0934-5043) |
| Volume |
32 |
| Brochure |
-- |
| Pages |
33 - 70 |
| Item link |
http://hdl.handle.net/11311/1135498 |
|
| List of publications and reserach products for the year 2019 (Show all details | Hide all details) |
| Type |
Title of the Publicaiton/Product |
| Contributions on scientific books |
|
Formal Methods in Designing Critical Cyber-Physical Systems (Show >>)(Hide <<)
|
| Author/s of the contributin |
Askarpour, M.; Ghezzi, C.; Mandrioli, D.; Rossi, M.; Tsigkanos, C. |
| Title of the book |
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (ISBN: 978-3-030-30984-8; 978-3-030-30985-5) |
| Author/s of the book |
Maurice H. ter Beek, Alessandro Fantechi, Laura Semini |
| Publisher |
Springer Verlag |
| Pages |
110 - 130 |
| Item link |
http://hdl.handle.net/11311/1120524 |
|
| Conference proceedings |
|
Automated Mapping for Semantic-based Conversion of Transportation Data Formats (Show >>)(Hide <<)
|
| Author/s |
Hosseini, Marjan; Kalwar, Safia; Rossi, MATTEO GIOVANNI; Sadeghi, Mersedeh |
| Title of the convention |
1st International Workshop On Semantics For Transport |
| Location of the convention |
Karlsruhe, Germany |
| Title of the review |
--
|
| Pages |
1 - 6 |
| Item link |
http://hdl.handle.net/11311/1120521 |
|
| Author/s |
Chaudhry, H. N.; Margara, A.; Rossi, M. |
| Title of the convention |
13th ACM International Conference on Distributed and Event-Based Systems, DEBS 2019 |
| Location of the convention |
Darmstadtium, deu |
| Period of the convention |
2019 |
| Title of the review |
--
|
| Pages |
250 - 251 |
| Item link |
http://hdl.handle.net/11311/1120522 |
|
| Journal Articles |
|
Formal model of human erroneous behavior for safety analysis in collaborative robotics (Show >>)(Hide <<)
|
| Author/s |
Askarpour, M.; Mandrioli, D.; Rossi, M.; Vicentini, F. |
| Title of the review |
ROBOTICS AND COMPUTER-INTEGRATED MANUFACTURING (ISSN: 0736-5845) |
| Volume |
57 |
| Brochure |
-- |
| Pages |
465 - 476 |
| Item link |
http://hdl.handle.net/11311/1120515 |
|
|
On the Initialization of Clocks in Timed Formalisms (Show >>)(Hide <<)
|
| Author/s |
Bersani, Marcello M.; Rossi, Matteo; Pietro, Pierluigi San |
| Title of the review |
THEORETICAL COMPUTER SCIENCE (ISSN: 0304-3975) |
| Volume |
Journal Pre-Proof |
| Brochure |
-- |
| Pages |
1 - 45 |
| Item link |
http://hdl.handle.net/11311/1120518 |
|
|
Safety Assessment of Collaborative Robotics Through Automated Formal Verification (Show >>)(Hide <<)
|
| Author/s |
Vicentini, F.; Askarpour, M.; Rossi, M. G.; Mandrioli, D. |
| Title of the review |
IEEE TRANSACTIONS ON ROBOTICS (ISSN: 1552-3098) |
| Volume |
online first |
| Brochure |
-- |
| Pages |
1 - 20 |
| Item link |
http://hdl.handle.net/11311/1120516 |
|
|
|
