RTAMT -- Runtime Robustness Monitors with Application to CPS and Robotics | Paper Citation Record

Observation d1d19b7f-8a34-4cf5-9ab2-7fac90ef6534 · outbound

This paper cites an unresolved cited work.

RTAMT -- Runtime Robustness Monitors with Application to CPS and Robotics Unresolved cited work

Reference 1

Resolution: unresolved; raw_fallback, observed 2026-08-10T16:54:04.546861Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation b8d5dd41-5691-49bd-a86e-b33f547d6d4a · outbound

This paper cites an unresolved cited work.

RTAMT -- Runtime Robustness Monitors with Application to CPS and Robotics Unresolved cited work

Reference 2

Resolution: unresolved; raw_fallback, observed 2026-08-10T16:54:04.528873Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation e6daf5fb-8e0d-45a2-84f7-4d4af506325a · outbound

This paper cites an unresolved cited work.

RTAMT -- Runtime Robustness Monitors with Application to CPS and Robotics Unresolved cited work

Reference 3

Resolution: unresolved; raw_fallback, observed 2026-08-10T16:54:04.506989Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation ba2a2b3e-f5d7-4cfa-9317-5cb57318cdf0 · outbound

This paper cites In: ICRA Workshop on Open Source Software, vol.

RTAMT -- Runtime Robustness Monitors with Application to CPS and Robotics In: ICRA Workshop on Open Source Software, vol

Reference 4

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T16:54:04.488475Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation cd541b02-0f24-4017-bad3-bcc6a8cbbbdb · outbound

This paper cites IEEE Software (4), 20–28 (2001).

RTAMT -- Runtime Robustness Monitors with Application to CPS and Robotics IEEE Software (4), 20–28 (2001)

Reference 5

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T16:54:04.466609Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation 895d641a-1960-4cf9-9421-7570ce6db87f · outbound

This paper cites an unresolved cited work.

RTAMT -- Runtime Robustness Monitors with Application to CPS and Robotics Unresolved cited work

Reference 6

Resolution: unresolved; raw_fallback, observed 2026-08-10T16:54:04.448089Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation 20889c68-878b-4a0e-91c1-1d8799cefdee · outbound

This paper cites In: Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control, HSCC 2019, Mon- treal, QC, Canada, April 16-18, 2019, pp.

RTAMT -- Runtime Robustness Monitors with Application to CPS and Robotics In: Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control, HSCC 2019, Mon- treal, QC, Canada, April 16-18, 2019, pp

Reference 7

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T16:54:04.429514Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation c5c31a43-6498-4fcf-8867-75973dd0fea9 · outbound

This paper cites In: Auto- mated Technology for Verification and Anal- ysis - 18th International Symposium, ATV A 2020, Hanoi, Vietnam, October 19-23, 2020, Proceedings, pp.

RTAMT -- Runtime Robustness Monitors with Application to CPS and Robotics In: Auto- mated Technology for Verification and Anal- ysis - 18th International Symposium, ATV A 2020, Hanoi, Vietnam, October 19-23, 2020, Proceedings, pp

Reference 8

Resolution: unresolved; no resolver link, observed 2026-08-10T16:54:02.707635Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 370fde61-2d70-4a9a-90f7-0e738ea83f35 · outbound

This paper cites In: Computer Aided Verification, 19th International Conference, CA V 2007, Berlin, Germany, July 3-7, 2007, Proceedings, pp.

RTAMT -- Runtime Robustness Monitors with Application to CPS and Robotics In: Computer Aided Verification, 19th International Conference, CA V 2007, Berlin, Germany, July 3-7, 2007, Proceedings, pp

Reference 9

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T16:54:04.409620Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation 70ed7ac2-336f-4c78-96fa-dc7e133133c9 · outbound

This paper cites an unresolved cited work.

RTAMT -- Runtime Robustness Monitors with Application to CPS and Robotics Unresolved cited work

Reference 10

Resolution: unresolved; raw_fallback, observed 2026-08-10T16:54:04.366930Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation 810fcf75-6e70-4f3d-823b-b673f7b1233a · outbound

This paper cites an unresolved cited work.

RTAMT -- Runtime Robustness Monitors with Application to CPS and Robotics Unresolved cited work

Reference 11

Resolution: unresolved; raw_fallback, observed 2026-08-10T16:54:04.345938Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation 805575bf-f33c-4ac0-9f3b-0f254d3b6aa4 · outbound

This paper cites 545–558 (1992).

RTAMT -- Runtime Robustness Monitors with Application to CPS and Robotics 545–558 (1992)

Reference 12

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T16:54:04.327485Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation c78ff6d3-954a-4156-aba3-a88ca6b62fb6 · outbound

This paper cites In: Com- puter Aided Verification (CA V), pp.

RTAMT -- Runtime Robustness Monitors with Application to CPS and Robotics In: Com- puter Aided Verification (CA V), pp

Reference 13

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T16:54:04.307231Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation aeb10b63-916d-487a-9727-7541a0028333 · outbound

This paper cites In: Formal Modeling and Analysis of Timed Systems, 5th International Conference, FOR- MATS 2007, Salzburg, Austria, October 3-5, 2007, Proceedings, pp.

RTAMT -- Runtime Robustness Monitors with Application to CPS and Robotics In: Formal Modeling and Analysis of Timed Systems, 5th International Conference, FOR- MATS 2007, Salzburg, Austria, October 3-5, 2007, Proceedings, pp

Reference 14

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T16:54:04.286459Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation a2c0387d-cce5-4035-b11e-f1a0ac6fba52 · outbound

This paper cites In: 2020 18th ACM-IEEE Interna- tional Conference on Formal Methods and Models for System Design (MEMOCODE), pp.

RTAMT -- Runtime Robustness Monitors with Application to CPS and Robotics In: 2020 18th ACM-IEEE Interna- tional Conference on Formal Methods and Models for System Design (MEMOCODE), pp

Reference 15

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T16:54:04.266251Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation ade55415-ab55-4bf1-a433-ce2986130999 · outbound

This paper cites ROBOMECH Journal 6(1), 4 (2019).

RTAMT -- Runtime Robustness Monitors with Application to CPS and Robotics ROBOMECH Journal 6(1), 4 (2019)

Reference 16

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T16:54:04.245641Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation cfac6f03-d289-470b-900d-41222723a90d · outbound

This paper cites In: IEEE/RSJ International Conference on Intelligent Robots and Sys- tems, Sendai, Japan, pp.

RTAMT -- Runtime Robustness Monitors with Application to CPS and Robotics In: IEEE/RSJ International Conference on Intelligent Robots and Sys- tems, Sendai, Japan, pp

Reference 17

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T16:54:04.226280Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation 045a5ef0-149c-410e-ae8e-18a0f87ab9a8 · outbound

This paper cites : Autonomous driving in urban environments: Boss and the urban challenge.

RTAMT -- Runtime Robustness Monitors with Application to CPS and Robotics : Autonomous driving in urban environments: Boss and the urban challenge

Reference 18

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T16:54:04.209377Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation 152fa4c8-533c-4214-b048-a8ab6a76016e · outbound

This paper cites an unresolved cited work.

RTAMT -- Runtime Robustness Monitors with Application to CPS and Robotics Unresolved cited work

Reference 19

Resolution: unresolved; raw_fallback, observed 2026-08-10T16:54:04.191436Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation b5a65cb4-f00e-448a-8882-8aaf04a710b8 · outbound

This paper cites In: International Confer- ence on Robotics and Automation (2010).

RTAMT -- Runtime Robustness Monitors with Application to CPS and Robotics In: International Confer- ence on Robotics and Automation (2010)

Reference 20

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T16:54:04.175112Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation a22c3134-0987-4249-a920-289cbab1b347 · outbound

This paper cites In: Proceedings 2000 ICRA.

RTAMT -- Runtime Robustness Monitors with Application to CPS and Robotics In: Proceedings 2000 ICRA

Reference 21

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T16:54:04.158746Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation 40084cbc-c635-4391-ba23-98956d0017d7 · outbound

This paper cites In: 18th Annual Symposium on Foundations of Computer Science (sfcs 1977), pp.

RTAMT -- Runtime Robustness Monitors with Application to CPS and Robotics In: 18th Annual Symposium on Foundations of Computer Science (sfcs 1977), pp

Reference 22

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T16:54:04.142633Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation 46537ab0-ba48-4366-8bda-26ba1ca474b7 · outbound

This paper cites an unresolved cited work.

RTAMT -- Runtime Robustness Monitors with Application to CPS and Robotics Unresolved cited work

Reference 23

Resolution: unresolved; raw_fallback, observed 2026-08-10T16:54:04.126399Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation 65fcb402-bd82-47dd-96e2-c3eb4ccc03fa · outbound

This paper cites an unresolved cited work.

RTAMT -- Runtime Robustness Monitors with Application to CPS and Robotics Unresolved cited work

Reference 24

Resolution: malformed identifier; no resolver link, observed 2026-08-10T16:54:02.802028Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 64e21d51-8164-4963-b0c0-208a2199f845 · outbound

This paper cites In: Formal Modeling and Analysis of Timed Systems (FORMATS), pp.

RTAMT -- Runtime Robustness Monitors with Application to CPS and Robotics In: Formal Modeling and Analysis of Timed Systems (FORMATS), pp

Reference 25

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T16:54:04.109358Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation f008b336-ff0b-47de-bd51-d83e3514d3cb · outbound

This paper cites In: 2014 Twelfth ACM/IEEE Conference on Formal Methods and Models for Codesign (MEMOCODE), pp.

RTAMT -- Runtime Robustness Monitors with Application to CPS and Robotics In: 2014 Twelfth ACM/IEEE Conference on Formal Methods and Models for Codesign (MEMOCODE), pp

Reference 26

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T16:54:04.092274Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation 12d92638-85c0-40d5-bfcf-18a7ce762d0c · outbound

This paper cites In: Computer Aided Verification, 27th International Conference, CA V 2015, San Francisco, CA, USA, July 18-24, 2011, Proceedings (2015 (to appear)).

RTAMT -- Runtime Robustness Monitors with Application to CPS and Robotics In: Computer Aided Verification, 27th International Conference, CA V 2015, San Francisco, CA, USA, July 18-24, 2011, Proceedings (2015 (to appear))

Reference 27

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T16:54:04.073636Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation 7a066320-3f3c-4a5b-b3b0-97d54bdb7b29 · outbound

This paper cites an unresolved cited work.

RTAMT -- Runtime Robustness Monitors with Application to CPS and Robotics Unresolved cited work

Reference 28

Resolution: unresolved; raw_fallback, observed 2026-08-10T16:54:04.055252Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation 935c1c52-1514-4065-a404-1478d780b805 · outbound

This paper cites In: Computer Aided Verification, 22nd Inter- national Conference, CA V 2010, Edinburgh, UK, July 15-19, 2010.

RTAMT -- Runtime Robustness Monitors with Application to CPS and Robotics In: Computer Aided Verification, 22nd Inter- national Conference, CA V 2010, Edinburgh, UK, July 15-19, 2010

Reference 29

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T16:54:04.040711Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation 12dbb8d6-b82c-4da2-8a6e-5e7e15ce63c5 · outbound

This paper cites In: International Conference on Tools and Algorithms for the Construction and Analysis of Systems, pp.

RTAMT -- Runtime Robustness Monitors with Application to CPS and Robotics In: International Conference on Tools and Algorithms for the Construction and Analysis of Systems, pp

Reference 30

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T16:54:04.025960Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation 7d3c3dd1-045c-4ed3-9c14-0115c18efbe9 · outbound

This paper cites In: Proc.

RTAMT -- Runtime Robustness Monitors with Application to CPS and Robotics In: Proc

Reference 31

Resolution: verified exact; doi, observed 2026-08-10T16:54:03.141324Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation 1829aa9e-e915-49ee-9443-334a237b3a8a · outbound

This paper cites Formal Methods in System Design 44(3), 230–239 (2014).

RTAMT -- Runtime Robustness Monitors with Application to CPS and Robotics Formal Methods in System Design 44(3), 230–239 (2014)

Reference 32

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T16:54:04.009850Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation fca3ac25-314e-43a7-8ede-3c36b3bffa90 · outbound

This paper cites In: International Conference on Tools and Algorithms for the Construction and Analysis of Systems, pp.

RTAMT -- Runtime Robustness Monitors with Application to CPS and Robotics In: International Conference on Tools and Algorithms for the Construction and Analysis of Systems, pp

Reference 33

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T16:54:03.990563Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation d162b74d-82d2-474b-9f0f-f6495f69d5e9 · outbound

This paper cites In: Runtime Verification - 16th International Conference, R V 2016, Madrid, Spain, September 23-30, 2016, Proceedings, pp.

RTAMT -- Runtime Robustness Monitors with Application to CPS and Robotics In: Runtime Verification - 16th International Conference, R V 2016, Madrid, Spain, September 23-30, 2016, Proceedings, pp

Reference 34

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T16:54:03.972503Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation 220c759d-6fb3-41ee-bb14-7b2b3fece67b · outbound

This paper cites In: R V-CuBES 2017.

RTAMT -- Runtime Robustness Monitors with Application to CPS and Robotics In: R V-CuBES 2017

Reference 35

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T16:54:03.951222Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation 8bbc309e-578e-4121-858c-0fcace3283b2 · outbound

This paper cites an unresolved cited work.

RTAMT -- Runtime Robustness Monitors with Application to CPS and Robotics Unresolved cited work

Reference 36

Resolution: unresolved; raw_fallback, observed 2026-08-10T16:54:03.931183Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation 1c814a21-f0b3-4499-afad-3038197d43d9 · outbound

This paper cites In: Runtime Verification 2002, R V 2002, FLoC Satellite Event, Copenhagen, Denmark, July 26, 2002, pp.

RTAMT -- Runtime Robustness Monitors with Application to CPS and Robotics In: Runtime Verification 2002, R V 2002, FLoC Satellite Event, Copenhagen, Denmark, July 26, 2002, pp

Reference 37

Resolution: verified exact; doi, observed 2026-08-10T16:54:03.117773Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation c2541efe-e678-4153-8aef-72e77f4f76f3 · outbound

This paper cites In: 12th International Symposium on Temporal Representation and Reasoning (TIME 2005), 23-25 June 2005, Burlington, Vermont, USA, pp.

RTAMT -- Runtime Robustness Monitors with Application to CPS and Robotics In: 12th International Symposium on Temporal Representation and Reasoning (TIME 2005), 23-25 June 2005, Burlington, Vermont, USA, pp

Reference 38

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T16:54:03.913719Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation 7c896ad2-b0f4-440e-bd49-4c704fb66e75 · outbound

This paper cites In: Runtime Verification: 16th International Conference, R V 2016, Madrid, Spain, September 23– 30, 2016, Proceedings, pp.

RTAMT -- Runtime Robustness Monitors with Application to CPS and Robotics In: Runtime Verification: 16th International Conference, R V 2016, Madrid, Spain, September 23– 30, 2016, Proceedings, pp

Reference 39

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T16:54:03.892357Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation 3de7fbe1-5891-40ed-b85b-cd15cd745069 · outbound

This paper cites Real-time Stream-based Monitoring.

RTAMT -- Runtime Robustness Monitors with Application to CPS and Robotics Real-time Stream-based Monitoring

Reference 40

Resolution: unresolved; no resolver link, observed 2026-08-10T16:54:02.884606Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 550e7b1f-bb0a-469c-9355-a92c96ac1f7b · outbound

This paper cites In: Formal Methods: Foundations and Applications: 21st Brazilian Symposium, SBMF 2018, Salvador, Brazil, November 26– 30, 2018, Proceedings 21, pp.

RTAMT -- Runtime Robustness Monitors with Application to CPS and Robotics In: Formal Methods: Foundations and Applications: 21st Brazilian Symposium, SBMF 2018, Salvador, Brazil, November 26– 30, 2018, Proceedings 21, pp

Reference 41

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T16:54:03.873131Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation 41b7b74e-4e94-43f2-b727-baaae572ac23 · outbound

This paper cites In: Runtime Verification: 18th Inter- national Conference, R V 2018, Limassol, Cyprus, November 10–13, 2018, Proceedings 18, pp.

RTAMT -- Runtime Robustness Monitors with Application to CPS and Robotics In: Runtime Verification: 18th Inter- national Conference, R V 2018, Limassol, Cyprus, November 10–13, 2018, Proceedings 18, pp

Reference 42

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T16:54:03.847854Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation 4674f1c8-36e7-4fa6-8e35-2a083fd7a3ba · outbound

This paper cites In: International Conference on Runtime Ver- ification, pp.

RTAMT -- Runtime Robustness Monitors with Application to CPS and Robotics In: International Conference on Runtime Ver- ification, pp

Reference 43

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T16:54:03.825910Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation 1e0c1136-cc70-49dc-bd51-7fb9a3f8a3a2 · outbound

This paper cites For- mal Methods in System Design 51(1), 5–30 (2017).

RTAMT -- Runtime Robustness Monitors with Application to CPS and Robotics For- mal Methods in System Design 51(1), 5–30 (2017)

Reference 44

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T16:54:03.807855Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation 3a64c39d-5808-4d3f-9353-13970f9d325d · outbound

This paper cites IEEE Trans.

RTAMT -- Runtime Robustness Monitors with Application to CPS and Robotics IEEE Trans

Reference 45

Resolution: malformed identifier; raw_fallback, observed 2026-08-10T16:54:03.437340Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation 22267da7-47a9-43ae-9aea-06f1c3e72bfd · outbound

This paper cites IEEE Trans.

RTAMT -- Runtime Robustness Monitors with Application to CPS and Robotics IEEE Trans

Reference 46

Resolution: malformed identifier; no resolver link, observed 2026-08-10T16:54:02.920924Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5363c6ce-b927-46f4-9250-50f22343c851 · outbound

This paper cites an unresolved cited work.

RTAMT -- Runtime Robustness Monitors with Application to CPS and Robotics Unresolved cited work

Reference 47

Resolution: unresolved; raw_fallback, observed 2026-08-10T16:54:03.788736Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation ceb43754-08a1-43f5-88f4-83306e44cc93 · outbound

This paper cites Journal of ACM 49(2), 172–206 (2002).

RTAMT -- Runtime Robustness Monitors with Application to CPS and Robotics Journal of ACM 49(2), 172–206 (2002)

Reference 48

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T16:54:03.768117Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation bcbc4250-ad2b-40ae-b4aa-f07ac011cae5 · outbound

This paper cites In: Logic in Computer Science (LICS), pp.

RTAMT -- Runtime Robustness Monitors with Application to CPS and Robotics In: Logic in Computer Science (LICS), pp

Reference 49

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T16:54:03.750547Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation 80218bd2-7ff2-43d6-9f45-7dcea44a44b5 · outbound

This paper cites In: Formal Model- ing and Analysis of Timed Systems (FOR- MATS), pp.

RTAMT -- Runtime Robustness Monitors with Application to CPS and Robotics In: Formal Model- ing and Analysis of Timed Systems (FOR- MATS), pp

Reference 50

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T16:54:03.734000Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation af1d2218-a34d-4896-9d2f-f676d490bdf1 · outbound

This paper cites an unresolved cited work.

RTAMT -- Runtime Robustness Monitors with Application to CPS and Robotics Unresolved cited work

Reference 51

Resolution: unresolved; raw_fallback, observed 2026-08-10T16:54:03.716187Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation 24160072-d5eb-478e-bb23-197a7cb74e04 · outbound

This paper cites In: Computer Aided Ver- ification - 29th International Conference, CA V 2017, Heidelberg, Germany, July 24-28, 26 RTAMT 2017, Proceedings, Part I, pp.

RTAMT -- Runtime Robustness Monitors with Application to CPS and Robotics In: Computer Aided Ver- ification - 29th International Conference, CA V 2017, Heidelberg, Germany, July 24-28, 26 RTAMT 2017, Proceedings, Part I, pp

Reference 52

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T16:54:03.695731Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation 7245b575-2712-4e4f-af15-dea3828a4771 · outbound

This paper cites IEEE Trans.

RTAMT -- Runtime Robustness Monitors with Application to CPS and Robotics IEEE Trans

Reference 53

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T16:54:03.674585Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation 58161b32-e0d7-4eef-b7fe-c1f2878c3da0 · outbound

This paper cites In: Formal Modeling and Analysis of Timed Systems - 15th Interna- tional Conference, FORMATS 2017, Berlin, Germany, September 5-7, 2017, Proceedings, pp.

RTAMT -- Runtime Robustness Monitors with Application to CPS and Robotics In: Formal Modeling and Analysis of Timed Systems - 15th Interna- tional Conference, FORMATS 2017, Berlin, Germany, September 5-7, 2017, Proceedings, pp

Reference 54

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T16:54:03.656267Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation 9f65a870-338b-460d-9e3a-dc2411169004 · outbound

This paper cites In: 3rd Work- shop on Monitoring and Testing of Cyber- Physical Systems, MT@CPSWeek 2018, Porto, Portugal, April 10, 2018, pp.

RTAMT -- Runtime Robustness Monitors with Application to CPS and Robotics In: 3rd Work- shop on Monitoring and Testing of Cyber- Physical Systems, MT@CPSWeek 2018, Porto, Portugal, April 10, 2018, pp

Reference 55

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T16:54:03.638217Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation 8f56b904-7d89-4094-8be8-0a1a8d7b2db2 · outbound

This paper cites Technical report, SAE Technical Paper (2016).

RTAMT -- Runtime Robustness Monitors with Application to CPS and Robotics Technical report, SAE Technical Paper (2016)

Reference 56

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T16:54:03.618769Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation d5d31f86-a5c6-4727-a7f4-a36f4597005b · outbound

This paper cites Technical report, United States.

RTAMT -- Runtime Robustness Monitors with Application to CPS and Robotics Technical report, United States

Reference 57

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T16:54:03.600795Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation ffe650dc-503d-44b4-9163-204f2e9a2aa4 · outbound

This paper cites In: International Conference on Computer Safety, Reliability, and Security, pp.

RTAMT -- Runtime Robustness Monitors with Application to CPS and Robotics In: International Conference on Computer Safety, Reliability, and Security, pp

Reference 58

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T16:54:03.581890Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation 62cceeff-a3b4-46c3-9c1c-9bb6eee28551 · outbound

This paper cites In: Proceedings of the 17th ACM-IEEE Inter- national Conference on Formal Methods and Models for System Design, pp.

RTAMT -- Runtime Robustness Monitors with Application to CPS and Robotics In: Proceedings of the 17th ACM-IEEE Inter- national Conference on Formal Methods and Models for System Design, pp

Reference 59

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T16:54:03.560594Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation 71c6c41d-c76d-48bd-acdd-b1aa2fde8ca0 · outbound

This paper cites VERIFAI: A Toolkit for the Design and Analysis of Artificial Intelligence-Based Systems.

RTAMT -- Runtime Robustness Monitors with Application to CPS and Robotics VERIFAI: A Toolkit for the Design and Analysis of Artificial Intelligence-Based Systems

Reference 60

Resolution: unresolved; no resolver link, observed 2026-08-10T16:54:03.012011Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation cc0eb2f6-2c4d-4de2-af0f-24118c8d8141 · outbound

This paper cites : Lgsvl simula- tor: A high fidelity simulator for autonomous driving.

RTAMT -- Runtime Robustness Monitors with Application to CPS and Robotics : Lgsvl simula- tor: A high fidelity simulator for autonomous driving

Reference 61

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T16:54:03.537789Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation 410b4a85-27c9-403c-b017-7a6d3aa823f8 · outbound

This paper cites SafetyNet: Safe planning for real-world self-driving vehicles using machine-learned policies.

RTAMT -- Runtime Robustness Monitors with Application to CPS and Robotics SafetyNet: Safe planning for real-world self-driving vehicles using machine-learned policies

Reference 62

Resolution: unresolved; no resolver link, observed 2026-08-10T16:54:03.023369Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0944316e-7e9c-4180-b282-7696c304cbb6 · outbound

This paper cites Algorithms for Verifying Deep Neural Networks.

RTAMT -- Runtime Robustness Monitors with Application to CPS and Robotics Algorithms for Verifying Deep Neural Networks

Reference 63

Resolution: unresolved; no resolver link, observed 2026-08-10T16:54:03.029678Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 434b43b9-aff2-497d-bb6c-0c025d8708e6 · outbound

This paper cites In: 2018 IEEE Intel- ligent Vehicles Symposium (IV), pp.

RTAMT -- Runtime Robustness Monitors with Application to CPS and Robotics In: 2018 IEEE Intel- ligent Vehicles Symposium (IV), pp

Reference 64

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T16:54:03.513400Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation 5b6d296f-92af-40fd-8aab-ffec418438b7 · outbound

This paper cites In: 2020 International Conference on Embedded Software (EMSOFT), pp.

RTAMT -- Runtime Robustness Monitors with Application to CPS and Robotics In: 2020 International Conference on Embedded Software (EMSOFT), pp

Reference 65

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T16:54:03.495599Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation f2201e05-2257-4111-9596-f8c9ce118a90 · outbound

This paper cites In: 2021 American Control Conference (ACC), pp.

RTAMT -- Runtime Robustness Monitors with Application to CPS and Robotics In: 2021 American Control Conference (ACC), pp

Reference 66

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T16:54:03.477072Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation b8d8dd35-a190-4205-8aab-ad7d5de11088 · outbound

This paper cites A Formalization of Robustness for Deep Neural Networks.

RTAMT -- Runtime Robustness Monitors with Application to CPS and Robotics A Formalization of Robustness for Deep Neural Networks

Reference 67

Resolution: metadata mismatch; local_arxiv, observed 2026-08-10T16:54:03.201758Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Coverage vector

Reference resolution

Outbound references

Pith citing papers