Online Synthesis for Runtime Enforcement of Safety in Multi-Agent Systems

A. Pnueli, “The temporal logic of programs,” in 18th Annual Symposium on Foundations of Computer Science, Providence, Rhode Island, USA, 31 October - 1 November 1977 . IEEE Computer Society, 1977, pp. 46–57

1977

Earlier work this paper cites.

J. E. Hopcroft, J. T. Schwartz, and M. Sharir, “On the Complexity of Motion Planning for Multiple Independent Objects; PSPACE- Hardness of the "Warehouseman’s Problem",” Int. J. Rob. Res. , vol. 3, no. 4, pp. 76–88, Dec 1984

1984

Earlier work this paper cites.

C. Guestrin, D. Koller, and R. Parr, “Multiagent planning with factored mdps,” in Advances in neural information processing systems , 2002, pp. 1523–1530

2002

Earlier work this paper cites.

J. R. Kok, M. T. Spaan, N. Vlassis et al. , “Multi-robot decision making using coordination graphs,” in Proceedings of the 11th International Conference on Advanced Robotics, ICAR , vol. 3, 2003, pp. 1124–1129

2003

Earlier work this paper cites.

D. Silver, “Cooperative pathfinding,” AAAI Press , pp. 117–122, Jun 2005. [Online]. Available: http://dl.acm.org/citation.cfm?id=3022473.3022494

2005

Earlier work this paper cites.

P. Sujit, A. Sinha, and D. Ghose, “Multi-uav task allocation using team theory,” in Decision and Control, 2005 and 2005 European Control Conference. CDC-ECC’05. 44th IEEE Conference on . IEEE, 2005, pp. 1497–1502

2005

Earlier work this paper cites.

J. H. Ong, A. Sanchez, and J. Williams, “Multi-uav system for inventory automation,” in RFID Eurasia, 2007 1st Annual . IEEE, 2007, pp. 1–6

2007

Earlier work this paper cites.

S. Schewe, “Synthesis of distributed systems,” Ph.D. dissertation, Saarland University, Saarbrücken, Germany, 2008

2008

Earlier work this paper cites.

Y. Falcone, J.-C. Fernandez, and L. Mounier, “Synthesizing enforcement monitors wrt. the safety-progress classification of properties,” in Information Systems Security . Springer Berlin Heidelberg, 2008

2008

Cited alongside, same era.

T. Standley, “Finding optimal solutions to cooperative pathfinding problems,” AAAI Press , pp. 173–178, Jul 2010. [Online]. Available: http://dl.acm.org/citation.cfm?id=2898607.2898635

2010

Cited alongside, same era.

T. Standley and R. Korf, “Complete algorithms for cooperative pathfinding problems,” in Proceedings of the Twenty-Second International Joint Conference on Artificial Intelligence - Volume Volume One , ser. IJCAI’11. AAAI Press, 2011, p. 668–673

2011

Cited alongside, same era.

T. Wongpiromsarn, U. Topcu, and R. Murray, “Formal synthesis of embedded control software: Application to vehicle management systems,” in Infotech@ Aerospace 2011 , 2011, p. 1506

2011

Cited alongside, same era.

Y. Zhang, K. Kim, and G. Fainekos, “DisCoF: Cooperative Pathfinding in Distributed Systems with Limited Sensing and Communication Range,” SpringerLink , pp. 325–340, 2016

2016

Later among the works it cites.

A. Bauer and Y. Falcone, “Decentralised LTL monitoring,” Formal Methods in System Design , vol. 48, no. 1-2, pp. 46–93, 2016

Original

2016

Later among the works it cites.

B. Könighofer, M. Alshiekh, R. Bloem, L. Humphrey, R. Könighofer, U. Topcu, and C. Wang, “Shield synthesis,” Formal Methods in System Design , vol. 51, no. 2, pp. 332–361, 2017

2017

Later among the works it cites.

A. Silberschatz, G. Gagne, and P. B. Galvin, Operating system concepts . Wiley, 2018

2018

Later among the works it cites.

S. Rasmussen, D. Kingston, and L. Humphrey, “A brief introduction to unmanned systems autonomy services (uxas),” in 2018 International Conference on Unmanned Aircraft Systems (ICUAS) . IEEE, 2018, pp. 257–268