copilot: Update README with missing papers

[ivanperez-keera]

Description

The following papers are missing from the list of publications in the README:

• Assuring the Guardians: https://link.springer.com/chapter/10.1007/978-3-319-23820-3_6
• Runtime Verification in Real-Time with the Copilot Language: A Tutorial: https://link.springer.com/chapter/10.1007/978-3-031-71177-0_27
• Trustworthy Runtime Verification via Bisimulation (Experience Report): https://dl.acm.org/doi/abs/10.1145/3607841

The publication section should be updated to include those publications.

Type

• Feature: include papers in documentation.

Additional context

None.

Requester

• Ivan Perez

Method to check presence of bug

List papers on Copilot written by team members, and compare with list of publications in README.

Expected result

The README mentions the three papers listed above.

Desired result

The README mentions the three papers listed above.

Proposed solution

Update paper with papers on Copilot written by team members, including at least:

• Assuring the Guardians: https://link.springer.com/chapter/10.1007/978-3-319-23820-3_6
• Runtime Verification in Real-Time with the Copilot Language: A Tutorial: https://link.springer.com/chapter/10.1007/978-3-031-71177-0_27
• Trustworthy Runtime Verification via Bisimulation (Experience Report): https://dl.acm.org/doi/abs/10.1145/3607841

Further notes

None.