![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
1st 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
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
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.