Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Formal Modeling and Analysis of Timed Systems [[electronic resource] ] : 19th International Conference, FORMATS 2021, Paris, France, August 24–26, 2021, Proceedings / / edited by Catalin Dima, Mahsa Shirmohammadi
| Formal Modeling and Analysis of Timed Systems [[electronic resource] ] : 19th International Conference, FORMATS 2021, Paris, France, August 24–26, 2021, Proceedings / / edited by Catalin Dima, Mahsa Shirmohammadi |
| Edizione | [1st ed. 2021.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2021 |
| Descrizione fisica | 1 online resource (XI, 155 p. 36 illus., 23 illus. in color.) |
| Disciplina | 005.1 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science
Software engineering Computer systems Computers, Special purpose Computer simulation Microprogramming Theory of Computation Software Engineering Computer System Implementation Special Purpose and Application-Based Systems Computer Modelling Control Structures and Microprogramming |
| ISBN | 3-030-85037-4 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Formal Methods for Robot Motion Planning with Time and Space Constraints (Extended Abstract) -- Temporal Reasoning for Intelligent Financial Services: Examples and Challenges -- On the complexity of timed pattern matching -- Stubborn Set Reduction for Timed Reachability and Safety Games -- Automatic Dynamic Parallelotope Bundles for Reachability Analysis of Nonlinear Systems -- Closing the Gap between Discrete Abstractions and Continuous Control: Completeness via Robustness and Controllability -- An Integer Static Analysis for Better Extrapolation in Uppaal -- Explaining Safety Violations in Real-Time Systems -- DiffRNN: Differential verification of Recurrent Neural Networks -- Formal Abstraction and Synthesis of Parametric Stochastic Processes. |
| Record Nr. | UNISA-996464431303316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2021 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Formal Modeling and Analysis of Timed Systems : 19th International Conference, FORMATS 2021, Paris, France, August 24–26, 2021, Proceedings / / edited by Catalin Dima, Mahsa Shirmohammadi
| Formal Modeling and Analysis of Timed Systems : 19th International Conference, FORMATS 2021, Paris, France, August 24–26, 2021, Proceedings / / edited by Catalin Dima, Mahsa Shirmohammadi |
| Edizione | [1st ed. 2021.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2021 |
| Descrizione fisica | 1 online resource (XI, 155 p. 36 illus., 23 illus. in color.) |
| Disciplina | 005.1 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science
Software engineering Computer systems Computers, Special purpose Computer simulation Microprogramming Theory of Computation Software Engineering Computer System Implementation Special Purpose and Application-Based Systems Computer Modelling Control Structures and Microprogramming |
| ISBN | 3-030-85037-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Formal Methods for Robot Motion Planning with Time and Space Constraints (Extended Abstract) -- Temporal Reasoning for Intelligent Financial Services: Examples and Challenges -- On the complexity of timed pattern matching -- Stubborn Set Reduction for Timed Reachability and Safety Games -- Automatic Dynamic Parallelotope Bundles for Reachability Analysis of Nonlinear Systems -- Closing the Gap between Discrete Abstractions and Continuous Control: Completeness via Robustness and Controllability -- An Integer Static Analysis for Better Extrapolation in Uppaal -- Explaining Safety Violations in Real-Time Systems -- DiffRNN: Differential verification of Recurrent Neural Networks -- Formal Abstraction and Synthesis of Parametric Stochastic Processes. |
| Record Nr. | UNINA-9910495156903321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2021 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||