Publications

Kumar, Barath; Niggemann, Oliver; Jasperneite, Jürgen: Test Generation for Hybrid, Probabilistic Control Models. In: Entwurf komplexer Automatisierungssysteme (EKA 2010) Magdeburg, Germany, May 2010.

Bibtex:

@INPROCEEDINGS{Test Generation for Hybrid, Probabilistic Control Models,
     author={Kumar, Barath and Niggemann, Oliver and Jasperneite, Jürgen},
     title={Test Generation for Hybrid, Probabilistic Control Models},
     abstract={},
     booktitle={Entwurf komplexer Automatisierungssysteme (EKA 2010)},
     year={2010},
     month={May},
     publisher={Magdeburg, Germany},
     address={},
     editor={},
     pages={},
     organisation={},
}

Download: Bibtex.txt