Formal modeling and analysis of timed systems : 18th International Conference, FORMATS 2020 Vienna, Austria, September 1-3, 2020 Proceedings /: 18th International Conference, FORMATS 2020 Vienna, Austria, September 1-3, 2020 Proceedings. (2020)

• Record Type: Book
• Other Titles: FORMATS 2020
• Further Information: Note: Nathalie Bertrand, Nils Jansen (eds.).
• Other Names: (Researcher), Bertrand, Nathalie; Jansen, Nils; FORMATS (Conference), 18th
• Contents: On the Semantics of Polychronous Polytimed Specifications -- Backward Symbolic Optimal Reachability in Weighted Timed Automata -- Certifying Emptiness of Timed Büchi Automata -- Learning Specifications for Labelled Patterns -- On Subgame Perfect Equilibria in Turn-Based Reachability Timed Games -- Computing Maximally-Permissive Strategies in Acyclic Timed Games -- Dynamic Causes for the Violation of Timed Reachability Properties -- Active Learning of Timed Automata with Unknown Resets -- Computation of Transient in Max-Plus Linear Systems via SMT-Solving -- Clairvoyant Monitoring for Signal Temporal Logic Patterns -- Embedding Online RV for Fault Disambiguation on Robonaut2 -- Guarded Autonomous Transitions Increase Conciseness and Expressiveness of Timed Automata -- Probabilistic Guarantees for Safe Deep Reinforcement Learning -- Incremental Methods for Checking Real-Time Consistency -- Reachability Analysis of Nonlinear Systems Using Hybridization and Dynamics Scaling -- Weakness Monitors for Fail-Aware Systems.
• Publisher Details: Cham : Springer
• Publication Date: 2020
• Extent: 1 online resource
• Subjects: 004.01/51; Formal methods (Computer science) -- Congresses; Computer simulation -- Congresses; Temporal automata -- Congresses; System analysis -- Congresses; Artificial intelligence; Algorithms & data structures; Systems analysis & design; Expert systems / knowledge-based systems; Computer hardware; Computer science; Computers -- Intelligence (AI) & Semantics; Computers -- Hardware -- General; Computers -- Information Technology; Computers -- Expert Systems; Computers -- Computer Science; Computer simulation; Formal methods (Computer science); System analysis; Temporal automata; Electronic books; Electronic books; Conference papers and proceedings
• Languages: English
• ISBNs: 9783030576288; 3030576280
• Related ISBNs: 3030576272; 9783030576271
• Access Rights: Legal Deposit; Only available on premises controlled by the deposit library and to one user at any one time; The Legal Deposit Libraries (Non-Print Works) Regulations (UK).
• Access Usage: Restricted: Printing from this resource is governed by The Legal Deposit Libraries (Non-Print Works) Regulations (UK) and UK copyright law currently in force.