% This file was created with JabRef 2.7b.
% Encoding: Cp1252

@INPROCEEDINGS{Althoff2015b,
  author = {D. Althoff and M. Althoff and S. Scherer},
  title = {Online Safety Verification for Unmanned Flights with Offline Computed
	Robust Invariant Sets},
  booktitle = {Proc. of the IEEE/RSJ International Conference on Intelligent Robots
	and Systems},
  year = {2015},
  owner = {matthias},
  timestamp = {2015.06.29}
}

@INPROCEEDINGS{Althoff2015a,
  author = {M. Althoff},
  title = {An Introduction to {CORA} 2015},
  booktitle = {Proc. of the Workshop on Applied Verification for Continuous and
	Hybrid Systems},
  year = {2015},
  owner = {matthias},
  timestamp = {2015.03.20}
}

@comment{jabref-meta: groupsversion:3;}

@comment{jabref-meta: groupstree:
0 AllEntriesGroup:;
1 ExplicitGroup:Conferences\;0\;Althoff2006a\;Althoff2007a\;Althoff200
7b\;Althoff2007c\;Althoff2008a\;Althoff2008b\;Althoff2008c\;Althoff200
8d\;Althoff2008e\;Althoff2009d\;Althoff2009e\;Althoff2010b\;Althoff201
0c\;Althoff2011a\;Goebl2008\;Kraus2009\;Patil2006\;Thuy2008\;;
1 ExplicitGroup:Theses\;0\;Althoff2010a\;;
1 ExplicitGroup:Journals\;0\;Althoff2008f\;Althoff2009a\;Althoff2009b\
;;
1 ExplicitGroup:Book chapter\;0\;;
}

