Login / Signup
V2CPS@IFM
2016
2016
2016
Keyphrases
Publications
2016
Morteza Mohaqeqi
,
Mohammad Reza Mousavi
Towards an Approximate Conformance Relation for Hybrid I/O Automata.
V2CPS@IFM
(2016)
Devendra Bhave
,
Shankara Narayanan Krishna
,
Ashutosh Trivedi
On Nonlinear Prices in Timed Automata.
V2CPS@IFM
(2016)
Tobias Kappé
,
Farhad Arbab
,
Carolyn L. Talcott
A Compositional Framework for Preference-Aware Agents.
V2CPS@IFM
(2016)
Masashi Mizoguchi
,
Toshimitsu Ushio
Output Feedback Controller Design with Symbolic Observers for Cyber-physical Systems.
V2CPS@IFM
(2016)
Adina Aniculaesei
,
Daniel Arnsberger
,
Falk Howar
,
Andreas Rausch
Towards the Verification of Safety-critical Autonomous Systems in Dynamic Environments.
V2CPS@IFM
(2016)
volume 232, 2016
Proceedings of the The First Workshop on Verification and Validation of Cyber-Physical Systems, V2CPS@IFM 2016, Reykjavík, Iceland, June 4-5, 2016.
V2CPS@IFM
232 (2016)