![](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 V2CPS@IFM 2016: Reykjavík, Iceland
- Mehdi Kargahi, Ashutosh Trivedi:
Proceedings of the The First Workshop on Verification and Validation of Cyber-Physical Systems, V2CPS@IFM 2016, Reykjavík, Iceland, June 4-5, 2016. EPTCS 232, 2016 - Tobias Kappé
, Farhad Arbab, Carolyn L. Talcott:
A Compositional Framework for Preference-Aware Agents. 21-35 - Masashi Mizoguchi
, Toshimitsu Ushio:
Output Feedback Controller Design with Symbolic Observers for Cyber-physical Systems. 37-51 - Morteza Mohaqeqi, Mohammad Reza Mousavi:
Towards an Approximate Conformance Relation for Hybrid I/O Automata. 53-64 - Devendra Bhave, Shankara Narayanan Krishna, Ashutosh Trivedi:
On Nonlinear Prices in Timed Automata. 65-78 - Adina Aniculaesei, Daniel Arnsberger, Falk Howar
, Andreas Rausch:
Towards the Verification of Safety-critical Autonomous Systems in Dynamic Environments. 79-90
![](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.