Formal Modeling and Analysis of Timed Systems
portes grátis
Formal Modeling and Analysis of Timed Systems
19th International Conference, FORMATS 2021, Paris, France, August 24-26, 2021, Proceedings
Dima, Catalin; Shirmohammadi, Mahsa
Springer Nature Switzerland AG
08/2021
155
Mole
Inglês
9783030850364
15 a 20 dias
267
Descrição não disponível.
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.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
architecting;architecture verification and validation;artificial intelligence;automata theory;automation;computer hardware;computer programming;computer science;computer systems;computer vision;embedded systems;engineering;formal logic;mathematics;model checking;signal processing;software architecture;software design;software engineering;theoretical computer science
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.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
architecting;architecture verification and validation;artificial intelligence;automata theory;automation;computer hardware;computer programming;computer science;computer systems;computer vision;embedded systems;engineering;formal logic;mathematics;model checking;signal processing;software architecture;software design;software engineering;theoretical computer science
