Efficiency through uncertainty

DOI10.1145/3302504.3311805OpenAlexW2906997088MaRDI QIDQ5239245

Morteza Lahijanian, Marta Kwiatkowska, Nathalie Cauchi, Luca Laurenti, Luca Cardelli, Alessandro Abate

Publication date: 22 October 2019

Published in: Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1901.01576

zbMATH Keywords

verificationsynthesishybrid systemsstochastic processesmodel checkingformal methodsinterval Markov decision processes

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30)

Related Items (9)

Robust Control for Dynamical Systems with Non-Gaussian Noise via Formal Abstractions ⋮ Abstraction-based synthesis for stochastic systems with omega-regular objectives ⋮ Stochastic reachability of a target tube: theory and computation ⋮ Strategy synthesis for partially-known switched stochastic systems ⋮ Distributionally Robust Strategy Synthesis for Switched Stochastic Systems ⋮ Unnamed Item ⋮ Lagrangian approximations for stochastic reachability of a target tube ⋮ Automated verification and synthesis of stochastic hybrid systems: a survey ⋮ Robustly complete finite-state abstractions for verification of stochastic systems

This page was built for publication: Efficiency through uncertainty