Skip to main content
Side panel
Home
Courses
All courses
Fisica
Ingegneria e Architettura
Matematica e Geoscienze
Scienze Chimiche e Farmaceutiche
Scienze Economiche, Aziendali, Matematiche e Statistiche
Scienze della Vita
Scienze Giuridiche, del Linguaggio, dell`Interpretazione e della Traduzione
Scienze Politiche e Sociali
Studi Umanistici
Universitario Clinico di Scienze mediche, chirurgiche e della salute
E-learning@Units
Centro Linguistico di Ateneo
Sistema Bibliotecario di Ateneo
Amministrazione Centrale
Progetto FlashForward
Corsi in convenzione
PhD - Formazione trasversale
La ricerca all'Università di Trieste
CIRD - Centro Interdipartimentale per la Ricerca Didattica
Teledidattica
Moodle Guides
Servizi Disabili e DSA
Centro per la gestione del percorso universitario e accademico iniziale dei docenti delle scuole secondarie di primo e secondo grado
Support
Moodle Guide for students
Moodle Guide for teachers
Support
Personal data policy
More
English (en)
English (en)
Italiano (it)
You are currently using guest access
Log in
Home
Courses
Collapse
Expand
All courses
Fisica
Ingegneria e Architettura
Matematica e Geoscienze
Scienze Chimiche e Farmaceutiche
Scienze Economiche, Aziendali, Matematiche e Statistiche
Scienze della Vita
Scienze Giuridiche, del Linguaggio, dell`Interpretazione e della Traduzione
Scienze Politiche e Sociali
Studi Umanistici
Universitario Clinico di Scienze mediche, chirurgiche e della salute
E-learning@Units
Centro Linguistico di Ateneo
Sistema Bibliotecario di Ateneo
Amministrazione Centrale
Progetto FlashForward
Corsi in convenzione
PhD - Formazione trasversale
La ricerca all'Università di Trieste
CIRD - Centro Interdipartimentale per la Ricerca Didattica
Teledidattica
Moodle Guides
Servizi Disabili e DSA
Centro per la gestione del percorso universitario e accademico iniziale dei docenti delle scuole secondarie di primo e secondo grado
Support
Collapse
Expand
Moodle Guide for students
Moodle Guide for teachers
Support
Personal data policy
Expand all
Collapse all
Open course index
Open block drawer
Dipartimento di Matematica e Geoscienze
Laurea Magistrale
SM35 - DATA SCIENCE AND SCIENTIFIC COMPUTING
A.A. 2021 - 2022
575SM - CYBER-PHYSICAL SYSTEMS 2021
Logic Languages and Automata
Logic Languages and Automata
Section outline
Select activity 6_Temporal Logic
6_Temporal Logic
File
PDF
Select activity 8_Signal Temporal Logic
8_Signal Temporal Logic
File
PDF
Select activity 7_Learning
7_Learning
File
PDF
Select activity 11_Falsification
11_Falsification
File
PDF
Select activity Parameter Synthesis
Parameter Synthesis
File
PDF
Select activity ParameterSynthesis_python
ParameterSynthesis_python
File
IPYNB
Select activity Matlab_Moonlight_Falsification
Matlab_Moonlight_Falsification
File
ZIP
Select activity Lecture 18_Model Checking
Lecture 18_Model Checking
File
PDF
Select activity STREL_1
STREL_1
File
PDF
Select activity STREL_2
STREL_2
File
PDF
Select activity 20-Learning 2
20-Learning 2
File
PDF
Select activity Smooth MC
Smooth MC
URL