Skip to main content

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

Blocks

Skip Search forums

Search forums

Search

Advanced search

Skip Latest announcements

Latest announcements

(No announcements have been posted yet.)

Skip Upcoming events

Upcoming events

There are no upcoming events

Go to calendar...

Skip Recent activity

Recent activity

Activity since Wednesday, 20 November 2024, 11:06 AM

Full report of recent activity...

No recent activity

Dipartimento di Matematica e Geoscienze
Laurea Magistrale
SM35 - DATA SCIENCE AND SCIENTIFIC COMPUTING
A.A. 2023 - 2024
575SM - CYBER-PHYSICAL SYSTEMS 2023
Logic Languages and Automata

Logic Languages and Automata

Section outline

- Select activity Automata and Temporal Logics
  
  Automata and Temporal Logics File PDF
- Select activity STL
  
  STL File PDF
- Select activity STREL
  
  STREL File PDF
- Select activity STL_applications
  
  STL_applications File PDF
- Select activity STL Falsification
  
  STL Falsification File PDF
- Select activity STL Parameter Synthesis
  
  STL Parameter Synthesis File PDF
- Select activity STL Learning
  
  STL Learning File PDF
- Select activity Last_Matlab
  
  Last_Matlab File ZIP
- Select activity Model Checking and TCTL
  
  Model Checking and TCTL File PDF
- Select activity Examples
  
  Examples File PDF
- Select activity STLcontrol
  
  STLcontrol File PDF
- Select activity RLTL
  
  RLTL File PDF
- Select activity TLLearning_insights
  
  TLLearning_insights File PDF

Documentation for this page

Contact site support

You are currently using guest access (Log in)

Get the mobile app

Powered by Moodle