<<<<<<< .mine

@InProceedings{RoehmEtAl2015,
  Title                    = {Industrial Examples of Formal Specifications for Test Case Generation},
  Author                   = {H. Roehm and R. Gmehlich and T. Heinz and J. Oehlerking and M. Woehrle},
  Booktitle                = {Proc. of the Workshop on Applied Verification for Continuous and Hybrid Systems},
  Year                     = {2015}
}

@InProceedings{RoehmOHA16,
  Title                    = {{STL} Model Checking of Continuous and Hybrid Systems},
  Author                   = {Hendrik Roehm and
 Jens Oehlerking and
 Thomas Heinz and
 Matthias Althoff},
  Booktitle                = {Automated Technology for Verification and Analysis - 14th International
 Symposium, {ATVA} 2016, Chiba, Japan, October 17-20, 2016, Proceedings},
  Year                     = {2016},
  Editor                   = {Cyrille Artho and
 Axel Legay and
 Doron Peled},
  Pages                    = {412--427},
  Series                   = {Lecture Notes in Computer Science},
  Volume                   = {9938},

  Doi                      = {10.1007/978-3-319-46520-3_26}
}

@InProceedings{RoehmOWA16,
  Title                    = {Reachset Conformance Testing of Hybrid Automata},
  Author                   = {Hendrik Roehm and
 Jens Oehlerking and
 Matthias Woehrle and
 Matthias Althoff},
  Booktitle                = {Proceedings of the 19th International Conference on Hybrid Systems:
 Computation and Control, {HSCC} 2016, Vienna, Austria, April 12-14,
 2016},
  Year                     = {2016},
  Editor                   = {Alessandro Abate and
 Georgios E. Fainekos},
  Pages                    = {277--286},
  Publisher                = {{ACM}},

  Doi                      = {10.1145/2883817.2883828}
}

||||||| .r1652

@InProceedings{RoehmEtAl2015,
  Title                    = {Industrial Examples of Formal Specifications for Test Case Generation},
  Author                   = {H. Roehm and R. Gmehlich and T. Heinz and J. Oehlerking and M. Woehrle},
  Booktitle                = {Proc. of the Workshop on Applied Verification for Continuous and Hybrid Systems},
  Year                     = {2015}
}

@InProceedings{RoehmOHA16,
  Title                    = {{STL} Model Checking of Continuous and Hybrid Systems},
  Author                   = {Hendrik Roehm and
 Jens Oehlerking and
 Thomas Heinz and
 Matthias Althoff},
  Booktitle                = {Automated Technology for Verification and Analysis - 14th International
 Symposium, {ATVA} 2016, Chiba, Japan, October 17-20, 2016, Proceedings},
  Year                     = {2016},
  Editor                   = {Cyrille Artho and
 Axel Legay and
 Doron Peled},
  Pages                    = {412--427},
  Series                   = {Lecture Notes in Computer Science},
  Volume                   = {9938},

  Doi                      = {10.1007/978-3-319-46520-3_26}
}

@InProceedings{RoehmOWA16,
  Title                    = {Reachset Conformance Testing of Hybrid Automata},
  Author                   = {Hendrik Roehm and
 Jens Oehlerking and
 Matthias Woehrle and
 Matthias Althoff},
  Booktitle                = {Proceedings of the 19th International Conference on Hybrid Systems:
 Computation and Control, {HSCC} 2016, Vienna, Austria, April 12-14,
 2016},
  Year                     = {2016},
  Editor                   = {Alessandro Abate and
 Georgios E. Fainekos},
  Pages                    = {277--286},
  Publisher                = {{ACM}},

  Doi                      = {10.1145/2883817.2883828}
}

=======

@InProceedings{RoehmEtAl2015,
  Title                    = {Industrial Examples of Formal Specifications for Test Case Generation},
  Author                   = {H. Roehm and R. Gmehlich and T. Heinz and J. Oehlerking and M. Woehrle},
  Booktitle                = {Proc. of the Workshop on Applied Verification for Continuous and Hybrid Systems},
  Year                     = {2015}
}

@InProceedings{RoehmOHA16,
  Title                    = {{STL} Model Checking of Continuous and Hybrid Systems},
  Author                   = {Hendrik Roehm and
 Jens Oehlerking and
 Thomas Heinz and
 Matthias Althoff},
  Booktitle                = {Automated Technology for Verification and Analysis - 14th International
 Symposium, {ATVA} 2016, Chiba, Japan, October 17-20, 2016, Proceedings},
  Year                     = {2016},
  Editor                   = {Cyrille Artho and
 Axel Legay and
 Doron Peled},
  Pages                    = {412--427},
  Series                   = {Lecture Notes in Computer Science},
  Volume                   = {9938},

  Doi                      = {10.1007/978-3-319-46520-3_26}
}

@InProceedings{RoehmOWA16,
  Title                    = {Reachset Conformance Testing of Hybrid Automata},
  Author                   = {Hendrik Roehm and
 Jens Oehlerking and
 Matthias Woehrle and
 Matthias Althoff},
  Booktitle                = {Proceedings of the 19th International Conference on Hybrid Systems:
 Computation and Control, {HSCC} 2016, Vienna, Austria, April 12-14,
 2016},
  Year                     = {2016},
  Editor                   = {Alessandro Abate and
 Georgios E. Fainekos},
  Pages                    = {277--286},
  Publisher                = {{ACM}},

  Doi                      = {10.1145/2883817.2883828}
}

@InProceedings{Liu17,
  Title                    = {Motion Verification for Robots in Human Environments based on
Kinematic Pedestrian Models},
  Author                   = {Stefan B. Liu and Matthias Althoff and Christian Heinzemann and Hendrik Roehm and Jens Oehlerking and Ingo Luetkebohle},
  Booktitle                = { 2017 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS 2017), accepted for publication},
  Year                     = {2017}
}


>>>>>>> .r1672
