default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID1st Workshop on Hybrid Autonomous Systems@ETAPS 2011: Saarbrücken, Germany
- Martin Fränzle, Antonios Tsourdos:
Proceedings of the First Workshop on Hybrid Autonomous Systems, affiliated to ETAPS 2011, Saarbrücken, Germany, 2011. Electronic Notes in Theoretical Computer Science 297, Elsevier 2013 - Martin Fränzle
, Antonios Tsourdos:
Preface. 1-2 - Alessandro Abate:
Approximation Metrics Based on Probabilistic Bisimulations for General State-Space Markov Processes: A Survey. 3-25 - Oana Andrei, Hélène Kirchner:
Runtime Verification for Biochemical Programs. 27-46 - Matthias Buntins, Jens-Wolfhard Schicke, Frank Eggert, Ursula Goltz:
Hybrid Automata as a Modelling Approach in the Behavioural Sciences. 47-59 - Paul Hänsch, Hilal Diab, Ibtissem Ben Makhlouf, Stefan Kowalewski:
Reachability Analysis of Linear Systems with Stepwise Constant Inputs. 61-74 - Tobe Toben, Jan-Hendrik Rakow:
Safety and Precision of Spatial Context Models for Autonomous Systems. 75-88
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-11-22 19:45 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
