Formal Modeling and Analysis of Timed Systems
portes grátis
Formal Modeling and Analysis of Timed Systems
21st International Conference, FORMATS 2023, Antwerp, Belgium, September 19-21, 2023, Proceedings
Sproston, Jeremy; Petrucci, Laure
Springer International Publishing AG
08/2023
181
Mole
Inglês
9783031426254
15 a 20 dias
Descrição não disponível.
Invited Paper.- Computing the price of anarchy in atomic network congestion games.- FORMATS 2023 Main Track.- Causal Reversibility for Timed Process Calculi with Lazy/EagerDurationless Actions and Time Additivity.- Automata with Timers.- Layered controller synthesis for dynamic multi-agent systems.- On the Susceptibility of QDI Circuits to Transient Faults.- Maximum Satis ability in Mission-time Linear Temporal Logic.- A local-time semantics for negotiations.- Timed non-interference under Partial Observability and Bounded Memory.- Special track on Monitoring of cyber-physical systems Usage- and Risk-aware Falsification Testing for Cyber-Physical Systems.- Model Predictive Runtime Verification for Cyber-Physical Systems with Real-Time Deadlines.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
Computer Science;Informatics;Conference Proceedings;Research;Applications
Invited Paper.- Computing the price of anarchy in atomic network congestion games.- FORMATS 2023 Main Track.- Causal Reversibility for Timed Process Calculi with Lazy/EagerDurationless Actions and Time Additivity.- Automata with Timers.- Layered controller synthesis for dynamic multi-agent systems.- On the Susceptibility of QDI Circuits to Transient Faults.- Maximum Satis ability in Mission-time Linear Temporal Logic.- A local-time semantics for negotiations.- Timed non-interference under Partial Observability and Bounded Memory.- Special track on Monitoring of cyber-physical systems Usage- and Risk-aware Falsification Testing for Cyber-Physical Systems.- Model Predictive Runtime Verification for Cyber-Physical Systems with Real-Time Deadlines.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
