RISC JKU
  • @techreport{RISC1895,
    author = {Herwig Mayr},
    title = {{Verifying Robotics/NC Tasks by Real-Time Dynamic Collision Checking}},
    number = {90-28},
    year = {1990},
    note = {Published in Proc. $23^{rd}$ ISATA Int. Symp. on Automotive Technology and Automation, Advanced Automotive Manufacturing, Dec. 3-7, 1990, Vienna, Austria, vol. 1, J.I. soliman (ed.), pp. 451--458.},
    sponsor = { AIS Ges.m.b.H.},
    type = {RISC Report Series},
    institution = {Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz},
    address = {Altenberger Straße 69, 4040 Linz, Austria},
    issn = {2791-4267 (online)}
    }