%0 Conference Paper
%F Oral 
%T Inner and Outer Computation of the Viability Kernel based on Interval Analysis
%+ Département STIC [Brest] (STIC)
%+ Lab-STICC_ENSTAB_CID_PRASYS
%+ Lab-STICC_ENSTAB_CID_IHSEV ; OSM
%+ Sûreté et Fiabilité des Logiciels (SFL)
%A Monnet, Dominique
%A Jaulin, Luc
%A Ninin, Jordan
%A Chapoutot, Alexandre
%A Alexandre Dit Sandretto, Julien
%< avec comité de lecture
%B International Symposium on Set Membership - Applications, Reliability and Theory
%C Manchester, United Kingdom
%8 2015-09-16
%D 2015
%Z Computer Science [cs]/Modeling and Simulation
%Z Computer Science [cs]/Data Structures and Algorithms [cs.DS]Conference papers
%G English
%L hal-01371498
%U https://hal.science/hal-01371498
%~ UNIV-BREST
%~ INSTITUT-TELECOM
%~ ENSTA-BRETAGNE
%~ ENSTA
%~ CNRS
%~ UNIV-UBS
%~ ENSTA-BRETAGNE-STIC
%~ ENIB
%~ ENSTA_U2IS
%~ LAB-STICC
%~ TDS-MACS
%~ UNIV-PARIS-SACLAY
%~ ENSTA-SACLAY
%~ INSTITUTS-TELECOM