Establishing the NP-hardness of maximally permissive RAS-based approaches to multi-vehicle system safety

Elzbieta Roszkowska, Spiridon Reveliotis. Establishing the NP-hardness of maximally permissive RAS-based approaches to multi-vehicle system safety. In IEEE International Conference on Robotics and Automation, ICRA 2010, Anchorage, Alaska, USA, 3-7 May 2010. pages 322-327, IEEE, 2010. [doi]

@inproceedings{RoszkowskaR10,
  title = {Establishing the NP-hardness of maximally permissive RAS-based approaches to multi-vehicle system safety},
  author = {Elzbieta Roszkowska and Spiridon Reveliotis},
  year = {2010},
  doi = {10.1109/ROBOT.2010.5509746},
  url = {http://dx.doi.org/10.1109/ROBOT.2010.5509746},
  tags = {rule-based, systematic-approach},
  researchr = {https://researchr.org/publication/RoszkowskaR10},
  cites = {0},
  citedby = {0},
  pages = {322-327},
  booktitle = {IEEE International Conference on Robotics and Automation, ICRA 2010, Anchorage, Alaska, USA, 3-7 May 2010},
  publisher = {IEEE},
}