Checking The Correctness of Agent Designs Against Model-Based Requirements. (bibtex)
by Yoosef Abushark, John Thangarajah, James Harland, Tim Miller
Reference:
Checking The Correctness of Agent Designs Against Model-Based Requirements. - Yoosef Abushark, John Thangarajah, James Harland, Tim Miller, In Proceedings of the 21st European Conference on Artificial Intelligence (ECAI-2014), 953--954, Prague, Czech Republic, 2014. ( PDF )
Bibtex Entry:
@inproceedings{YoosefECAI2014,
  author =        {Yoosef Abushark and John Thangarajah and James Harland and Tim Miller},
  title =         {Checking The Correctness of Agent Designs Against Model-Based Requirements.},
  booktitle =     {Proceedings of the 21st European Conference on Artificial Intelligence (ECAI-2014)},
  month =         {August},
  year =          {2014},
  pages = {953--954},
  address = {Prague, Czech Republic},
   comment = {<a href="https://drive.google.com/file/d/0B5osGljhBbIMX0VBTU43YVRBUk0/edit?usp=sharing" target="_blank"> PDF </a>}
}
Powered by bibtexbrowser