Info
Agents and Robots for Reliable Engineered Autonomy
| Agents and Robots for Reliable Engineered Autonomy |
| Autore | Cardoso Rafael C |
| Pubbl/distr/stampa | Basel, Switzerland, : MDPI - Multidisciplinary Digital Publishing Institute, 2021 |
| Descrizione fisica | 1 online resource (150 p.) |
| Soggetto topico | Technology: general issues |
| Soggetto non controllato |
agents
aggregate computing Autonomous Vehicles belief-desire-intention (BDI) collective autonomy coordination decision-making formal verification human-agent interaction jason model checking multi-agent systems n/a rational agent robot operating system (ROS) robotic agents robotics ROS Rules of the Road self-driving vehicle self-organisation software engineering verification and validation |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910557485603321 |
Cardoso Rafael C
|
||
| Basel, Switzerland, : MDPI - Multidisciplinary Digital Publishing Institute, 2021 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Formal Methods Teaching [[electronic resource] ] : 4th International Workshop and Tutorial, FMTea 2021, Virtual Event, November 21, 2021, Proceedings / / edited by João F. Ferreira, Alexandra Mendes, Claudio Menghi
| Formal Methods Teaching [[electronic resource] ] : 4th International Workshop and Tutorial, FMTea 2021, Virtual Event, November 21, 2021, Proceedings / / edited by João F. Ferreira, Alexandra Mendes, Claudio Menghi |
| Edizione | [1st ed. 2021.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2021 |
| Descrizione fisica | 1 online resource (159 pages) |
| Disciplina | 004.0151 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Mathematical logic
Mathematical Logic and Foundations Mètodes formals (Informàtica) |
| Soggetto genere / forma |
Congressos
Llibres electrònics |
| ISBN | 3-030-91550-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Introducing Formal Methods to First-Year Students in Three Intensive Weeks -- Online Teaching of Verification of C Programs in Applied Computer Science -- A Proposal for a Framework to Accompany Formal Methods -- Learning Tools -- Increasing Engagement with Interactive Visualization: Formal Methods as Serious Games Increasing Student Self-Reliance and Engagement in ModelChecking Courses -- Teaching Formal Methods to Software Engineers through Collaborative Learning -- Lessons of Formal Program Design in Dafny -- Teaching Correctness-by-Construction and Post-hoc Verification -The Online Experience -- Using Isabelle in Two Courses on Logic and Automated Reasoning -- Introducing Formal Methods to Students who Hate Maths and Struggle with Programming. |
| Record Nr. | UNISA-996464532103316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2021 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Formal Methods Teaching : 4th International Workshop and Tutorial, FMTea 2021, Virtual Event, November 21, 2021, Proceedings / / edited by João F. Ferreira, Alexandra Mendes, Claudio Menghi
| Formal Methods Teaching : 4th International Workshop and Tutorial, FMTea 2021, Virtual Event, November 21, 2021, Proceedings / / edited by João F. Ferreira, Alexandra Mendes, Claudio Menghi |
| Edizione | [1st ed. 2021.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2021 |
| Descrizione fisica | 1 online resource (159 pages) |
| Disciplina | 004.0151 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Logic, Symbolic and mathematical
Mathematical Logic and Foundations Mètodes formals (Informàtica) |
| Soggetto genere / forma |
Congressos
Llibres electrònics |
| ISBN | 3-030-91550-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Introducing Formal Methods to First-Year Students in Three Intensive Weeks -- Online Teaching of Verification of C Programs in Applied Computer Science -- A Proposal for a Framework to Accompany Formal Methods -- Learning Tools -- Increasing Engagement with Interactive Visualization: Formal Methods as Serious Games Increasing Student Self-Reliance and Engagement in ModelChecking Courses -- Teaching Formal Methods to Software Engineers through Collaborative Learning -- Lessons of Formal Program Design in Dafny -- Teaching Correctness-by-Construction and Post-hoc Verification -The Online Experience -- Using Isabelle in Two Courses on Logic and Automated Reasoning -- Introducing Formal Methods to Students who Hate Maths and Struggle with Programming. |
| Record Nr. | UNINA-9910510554403321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2021 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||