Simplicity Lies in the Eye of the Beholder: A Strategic Perspective on Controllers in Reactive Synthesis | Paper Citation Record

Observation 335445a3-0032-4d10-936f-08ad1be7df60 · outbound

This paper cites In: Censor-Hillel, K.,Grandoni,F.,Ouaknine,J.,Puppis,G.(eds.)52ndInternationalColloquiumon Automata, Languages, and Programming, ICALP 2025, July 8-11, 2025, Aarhus, Denmark.

Simplicity Lies in the Eye of the Beholder: A Strategic Perspective on Controllers in Reactive Synthesis In: Censor-Hillel, K.,Grandoni,F.,Ouaknine,J.,Puppis,G.(eds.)52ndInternationalColloquiumon Automata, Languages, and Programming, ICALP 2025, July 8-11, 2025, Aarhus, Denmark

Reference 1

Resolution: verified exact; doi, observed 2026-08-05T10:25:13.145287Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 2e799e8e-ba24-44f7-bf91-8591a5b65adc · outbound

This paper cites In: Dresher, M., Shapley, L.S., Tucker, A.W.

Simplicity Lies in the Eye of the Beholder: A Strategic Perspective on Controllers in Reactive Synthesis In: Dresher, M., Shapley, L.S., Tucker, A.W

Reference 2

Resolution: verified exact; doi, observed 2026-08-05T10:25:13.120120Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 3487eaec-755d-4e8f-ad1a-2a570c952516 · outbound

This paper cites an unresolved cited work.

Simplicity Lies in the Eye of the Beholder: A Strategic Perspective on Controllers in Reactive Synthesis Unresolved cited work

Reference 3

Resolution: verified exact; doi, observed 2026-08-05T10:25:13.086747Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 01dca368-dfb2-4ed2-beb2-927a94b98f55 · outbound

This paper cites an unresolved cited work.

Simplicity Lies in the Eye of the Beholder: A Strategic Perspective on Controllers in Reactive Synthesis Unresolved cited work

Reference 4

Resolution: unresolved; raw_fallback, observed 2026-08-05T10:25:13.821866Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation b8ecf27d-3d95-4770-9848-f2487c4d0409 · outbound

This paper cites In: A Strategic Perspective on Controllers in Reactive Synthesis 15 Lahiri, S.K., Wang, C.

Simplicity Lies in the Eye of the Beholder: A Strategic Perspective on Controllers in Reactive Synthesis In: A Strategic Perspective on Controllers in Reactive Synthesis 15 Lahiri, S.K., Wang, C

Reference 5

Resolution: verified exact; doi, observed 2026-08-05T10:25:13.067031Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 44ba5134-6440-44bc-b89a-58d6ee50a03b · outbound

This paper cites In: Clarke, E.M., Henzinger, T.A., Veith, H., Bloem, R.

Simplicity Lies in the Eye of the Beholder: A Strategic Perspective on Controllers in Reactive Synthesis In: Clarke, E.M., Henzinger, T.A., Veith, H., Bloem, R

Reference 6

Resolution: malformed identifier; raw_fallback, observed 2026-08-05T10:25:13.800276Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation cf452d87-866e-4171-9125-90ec3fb1d4a4 · outbound

This paper cites an unresolved cited work.

Simplicity Lies in the Eye of the Beholder: A Strategic Perspective on Controllers in Reactive Synthesis Unresolved cited work

Reference 7

Resolution: verified exact; doi, observed 2026-08-05T10:25:13.044044Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 26fb3506-72fb-4eb8-94c7-029bb160cb10 · outbound

This paper cites (eds.) 50th International Colloquium on Automata, Languages, and Programming, ICALP 2023, July 10-14, 2023, Paderborn, Germany.

Simplicity Lies in the Eye of the Beholder: A Strategic Perspective on Controllers in Reactive Synthesis (eds.) 50th International Colloquium on Automata, Languages, and Programming, ICALP 2023, July 10-14, 2023, Paderborn, Germany

Reference 8

Resolution: malformed identifier; no resolver link, observed 2026-08-05T10:25:11.898641Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c065a4d0-9086-4c46-a9cb-cb79a962c4d3 · outbound

This paper cites an unresolved cited work.

Simplicity Lies in the Eye of the Beholder: A Strategic Perspective on Controllers in Reactive Synthesis Unresolved cited work

Reference 9

Resolution: unresolved; no resolver link, observed 2026-08-05T10:25:11.912386Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2864a425-5d76-43c8-885e-f17fa18f7d54 · outbound

This paper cites Acta Informatica 55(2), 91–127 (2018).

Simplicity Lies in the Eye of the Beholder: A Strategic Perspective on Controllers in Reactive Synthesis Acta Informatica 55(2), 91–127 (2018)

Reference 10

Resolution: malformed identifier; raw_fallback, observed 2026-08-05T10:25:13.778677Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation c905e85a-4f09-4a98-9ce1-ea50eb570a42 · outbound

This paper cites an unresolved cited work.

Simplicity Lies in the Eye of the Beholder: A Strategic Perspective on Controllers in Reactive Synthesis Unresolved cited work

Reference 11

Resolution: unresolved; no resolver link, observed 2026-08-05T10:25:11.922723Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 18082bdb-744c-4eef-933f-d103e51b9727 · outbound

This paper cites an unresolved cited work.

Simplicity Lies in the Eye of the Beholder: A Strategic Perspective on Controllers in Reactive Synthesis Unresolved cited work

Reference 13

Resolution: unresolved; no resolver link, observed 2026-08-05T10:25:11.935712Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b295db85-ced9-4a4e-a1c3-6358bf9cda18 · outbound

This paper cites In: Kroening, D., Pasareanu, C.S.

Simplicity Lies in the Eye of the Beholder: A Strategic Perspective on Controllers in Reactive Synthesis In: Kroening, D., Pasareanu, C.S

Reference 14

Resolution: verified exact; doi, observed 2026-08-05T10:25:12.940198Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 60366cdc-39a0-421e-82c7-43dc97dbdf4f · outbound

This paper cites In: Beyer, D., Huisman, M.

Simplicity Lies in the Eye of the Beholder: A Strategic Perspective on Controllers in Reactive Synthesis In: Beyer, D., Huisman, M

Reference 15

Resolution: verified exact; doi, observed 2026-08-05T10:25:13.754028Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 5bcdd5b3-3898-4ced-9dff-e11298886f85 · outbound

This paper cites an unresolved cited work.

Simplicity Lies in the Eye of the Beholder: A Strategic Perspective on Controllers in Reactive Synthesis Unresolved cited work

Reference 16

Resolution: unresolved; no resolver link, observed 2026-08-05T10:25:11.961628Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 920a8504-a5b9-471d-8607-93b8c3df62b1 · outbound

This paper cites an unresolved cited work.

Simplicity Lies in the Eye of the Beholder: A Strategic Perspective on Controllers in Reactive Synthesis Unresolved cited work

Reference 17

Resolution: malformed identifier; no resolver link, observed 2026-08-05T10:25:11.968245Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 17bce90a-0ec0-4bf4-968e-286c41145512 · outbound

This paper cites In: Cantone, D., Delzanno, G.

Simplicity Lies in the Eye of the Beholder: A Strategic Perspective on Controllers in Reactive Synthesis In: Cantone, D., Delzanno, G

Reference 18

Resolution: verified exact; doi, observed 2026-08-05T10:25:12.897696Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation c74f24c0-cfd5-49d6-a15c-bda336fa67cd · outbound

This paper cites In: Fokkink, W.J., van Glabbeek, R.

Simplicity Lies in the Eye of the Beholder: A Strategic Perspective on Controllers in Reactive Synthesis In: Fokkink, W.J., van Glabbeek, R

Reference 19

Resolution: unresolved; no resolver link, observed 2026-08-05T10:25:11.981191Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d539d49e-18b6-4393-9288-794301e5576d · outbound

This paper cites an unresolved cited work.

Simplicity Lies in the Eye of the Beholder: A Strategic Perspective on Controllers in Reactive Synthesis Unresolved cited work

Reference 20

Resolution: unresolved; no resolver link, observed 2026-08-05T10:25:11.987629Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1182d34c-0a58-461b-a510-44a95c3f5ddc · outbound

This paper cites In: Bessiere, C.

Simplicity Lies in the Eye of the Beholder: A Strategic Perspective on Controllers in Reactive Synthesis In: Bessiere, C

Reference 21

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T10:25:13.735157Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 53e2219b-8a8f-4f44-8afd-dd1f5b237cde · outbound

This paper cites In: Sobocinski, P., Lago, U.D., Esparza, J.

Simplicity Lies in the Eye of the Beholder: A Strategic Perspective on Controllers in Reactive Synthesis In: Sobocinski, P., Lago, U.D., Esparza, J

Reference 22

Resolution: unresolved; no resolver link, observed 2026-08-05T10:25:12.013674Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 74b6594b-f068-40ea-b9c9-edb0f4ce1503 · outbound

This paper cites an unresolved cited work.

Simplicity Lies in the Eye of the Beholder: A Strategic Perspective on Controllers in Reactive Synthesis Unresolved cited work

Reference 23

Resolution: unresolved; no resolver link, observed 2026-08-05T10:25:12.018894Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation afc23350-807c-4a6d-9f89-cabd41636274 · outbound

This paper cites L-Vector: Neural Label Embedding for Domain Adaptation.

Simplicity Lies in the Eye of the Beholder: A Strategic Perspective on Controllers in Reactive Synthesis L-Vector: Neural Label Embedding for Domain Adaptation

Reference 24

Resolution: unresolved; no resolver link, observed 2026-08-05T10:25:12.029214Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation bef71c0f-bfea-4947-9c7a-f7e2be50ab33 · outbound

This paper cites an unresolved cited work.

Simplicity Lies in the Eye of the Beholder: A Strategic Perspective on Controllers in Reactive Synthesis Unresolved cited work

Reference 25

Resolution: verified exact; doi, observed 2026-08-05T10:25:12.813986Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation cb06ea53-782b-4766-948e-3dbac5e4d443 · outbound

This paper cites an unresolved cited work.

Simplicity Lies in the Eye of the Beholder: A Strategic Perspective on Controllers in Reactive Synthesis Unresolved cited work

Reference 26

Resolution: unresolved; no resolver link, observed 2026-08-05T10:25:12.047482Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 92b71ae9-08c7-4ba4-bff7-f26129873e58 · outbound

This paper cites In: Egerstedt, M., Mishra, B.

Simplicity Lies in the Eye of the Beholder: A Strategic Perspective on Controllers in Reactive Synthesis In: Egerstedt, M., Mishra, B

Reference 27

Resolution: malformed identifier; raw_fallback, observed 2026-08-05T10:25:13.710906Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation f0880611-07de-4fff-beb1-ec56838c1064 · outbound

This paper cites an unresolved cited work.

Simplicity Lies in the Eye of the Beholder: A Strategic Perspective on Controllers in Reactive Synthesis Unresolved cited work

Reference 28

Resolution: unresolved; no resolver link, observed 2026-08-05T10:25:12.071937Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ddf88ed1-b502-4c42-bd7c-a2dfea67305a · outbound

This paper cites Summaries of the Summer Institute of Symbolic Logic1, 3–50 (1957).

Simplicity Lies in the Eye of the Beholder: A Strategic Perspective on Controllers in Reactive Synthesis Summaries of the Summer Institute of Symbolic Logic1, 3–50 (1957)

Reference 29

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T10:25:13.683630Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation b0f6fc5a-50b2-487d-ae37-2d4bfec6a801 · outbound

This paper cites (eds.) Proceedings First Symposium on Games, Automata, Logic, and Formal Verification, GANDALF 2010, Minori (Amalfi Coast), Italy, 17-18th June 2010.

Simplicity Lies in the Eye of the Beholder: A Strategic Perspective on Controllers in Reactive Synthesis (eds.) Proceedings First Symposium on Games, Automata, Logic, and Formal Verification, GANDALF 2010, Minori (Amalfi Coast), Italy, 17-18th June 2010

Reference 30

Resolution: verified exact; doi, observed 2026-08-05T10:25:12.749195Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation fa63c323-5ad6-4ae9-8192-72435542d098 · outbound

This paper cites In: Biere, A., Parker, D.

Simplicity Lies in the Eye of the Beholder: A Strategic Perspective on Controllers in Reactive Synthesis In: Biere, A., Parker, D

Reference 31

Resolution: malformed identifier; no resolver link, observed 2026-08-05T10:25:12.104849Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation fe568a1d-6ac3-4dd0-9cfe-c5b4b24edba0 · outbound

This paper cites an unresolved cited work.

Simplicity Lies in the Eye of the Beholder: A Strategic Perspective on Controllers in Reactive Synthesis Unresolved cited work

Reference 33

Resolution: unresolved; raw_fallback, observed 2026-08-05T10:25:13.658462Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation cb3cb7db-1c5b-498d-b78e-d5ca4d40b08c · outbound

This paper cites an unresolved cited work.

Simplicity Lies in the Eye of the Beholder: A Strategic Perspective on Controllers in Reactive Synthesis Unresolved cited work

Reference 34

Resolution: malformed identifier; raw_fallback, observed 2026-08-05T10:25:13.631337Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation b687609f-5f96-463d-ad1d-44b5bd645210 · outbound

This paper cites In: Abadi, M., de Alfaro, L.

Simplicity Lies in the Eye of the Beholder: A Strategic Perspective on Controllers in Reactive Synthesis In: Abadi, M., de Alfaro, L

Reference 35

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T10:25:13.601552Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 26beb52b-49e6-4350-ad78-686070bcbaa7 · outbound

This paper cites (eds.): Automata, Logics, and Infinite Games: A Guide to Current Research [outcome of a Dagstuhl seminar, February 2001], Lecture Notes in Computer Science, vol.

Simplicity Lies in the Eye of the Beholder: A Strategic Perspective on Controllers in Reactive Synthesis (eds.): Automata, Logics, and Infinite Games: A Guide to Current Research [outcome of a Dagstuhl seminar, February 2001], Lecture Notes in Computer Science, vol

Reference 36

Resolution: unresolved; no resolver link, observed 2026-08-05T10:25:12.141198Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation da6cf4fd-7100-49ef-b011-4ac495f2161f · outbound

This paper cites In: Albers, S., Marion, J.Y.

Simplicity Lies in the Eye of the Beholder: A Strategic Perspective on Controllers in Reactive Synthesis In: Albers, S., Marion, J.Y

Reference 37

Resolution: unresolved; no resolver link, observed 2026-08-05T10:25:12.147069Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c25377dd-5a2e-4167-bfd5-87c06f040df1 · outbound

This paper cites an unresolved cited work.

Simplicity Lies in the Eye of the Beholder: A Strategic Perspective on Controllers in Reactive Synthesis Unresolved cited work

Reference 38

Resolution: unresolved; raw_fallback, observed 2026-08-05T10:25:13.581938Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation b66e8bbb-fff5-4306-8d15-9d12cec27c30 · outbound

This paper cites In:Lomuscio,A.,Vardi,M.Y.

Simplicity Lies in the Eye of the Beholder: A Strategic Perspective on Controllers in Reactive Synthesis In:Lomuscio,A.,Vardi,M.Y

Reference 39

Resolution: verified exact; doi, observed 2026-08-05T10:25:12.642323Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation d2d3995d-5f4f-4038-af5d-8b2577946f25 · outbound

This paper cites In: Ganguly, S., Pandya, P.K.

Simplicity Lies in the Eye of the Beholder: A Strategic Perspective on Controllers in Reactive Synthesis In: Ganguly, S., Pandya, P.K

Reference 40

Resolution: verified exact; doi, observed 2026-08-05T10:25:12.611644Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation f10389e1-f2a5-4a5c-af77-63ae7a3b95fb · outbound

This paper cites an unresolved cited work.

Simplicity Lies in the Eye of the Beholder: A Strategic Perspective on Controllers in Reactive Synthesis Unresolved cited work

Reference 41

Resolution: metadata mismatch; raw_fallback, observed 2026-08-05T10:25:13.247458Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation f86ae397-f18c-4cb8-af78-9f3dc27df2e1 · outbound

This paper cites CoRR abs/2502.18296 (2025).

Simplicity Lies in the Eye of the Beholder: A Strategic Perspective on Controllers in Reactive Synthesis CoRR abs/2502.18296 (2025)

Reference 42

Resolution: verified exact; doi, observed 2026-08-05T10:25:12.587806Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation f2c33854-5dba-4703-9e77-0ac514db4ac4 · outbound

This paper cites an unresolved cited work.

Simplicity Lies in the Eye of the Beholder: A Strategic Perspective on Controllers in Reactive Synthesis Unresolved cited work

Reference 43

Resolution: verified exact; doi, observed 2026-08-05T10:25:12.446283Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 66ec7d3f-1be1-496a-b304-5da89a3d1188 · outbound

This paper cites In: Skowron, A.

Simplicity Lies in the Eye of the Beholder: A Strategic Perspective on Controllers in Reactive Synthesis In: Skowron, A

Reference 44

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T10:25:13.552305Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation b7b54145-992b-40b3-82a7-9516fea9ebd3 · outbound

This paper cites In: Proceedings of the European Conference on Complex Systems 2012, ECCS 2012, Brussels, Belgium, September 2-7, 2012.

Simplicity Lies in the Eye of the Beholder: A Strategic Perspective on Controllers in Reactive Synthesis In: Proceedings of the European Conference on Complex Systems 2012, ECCS 2012, Brussels, Belgium, September 2-7, 2012

Reference 45

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T10:25:13.528372Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 59c2515a-81c8-4b64-84e9-6d90d82adae2 · outbound

This paper cites Games on Graphs: From Logic and Automata to Algorithms.

Simplicity Lies in the Eye of the Beholder: A Strategic Perspective on Controllers in Reactive Synthesis Games on Graphs: From Logic and Automata to Algorithms

Reference 46

Resolution: unresolved; no resolver link, observed 2026-08-05T10:25:12.202732Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 92cb9fc7-923c-4128-bb3e-401ec2516e90 · outbound

This paper cites Proceedings.

Simplicity Lies in the Eye of the Beholder: A Strategic Perspective on Controllers in Reactive Synthesis Proceedings

Reference 47

Resolution: verified exact; doi, observed 2026-08-05T10:25:12.428805Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation aa81dd45-df41-4e1b-9306-cf04fbf21f34 · outbound

This paper cites Formal Methods in System Design50(2-3), 207–248 (2017).

Simplicity Lies in the Eye of the Beholder: A Strategic Perspective on Controllers in Reactive Synthesis Formal Methods in System Design50(2-3), 207–248 (2017)

Reference 48

Resolution: unresolved; no resolver link, observed 2026-08-05T10:25:12.218250Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 000734c2-b714-4fb6-95da-7dad48b86c3e · outbound

This paper cites Programmatic Reinforcement Learning: Navigating Gridworlds.

Simplicity Lies in the Eye of the Beholder: A Strategic Perspective on Controllers in Reactive Synthesis Programmatic Reinforcement Learning: Navigating Gridworlds

Reference 49

Resolution: metadata mismatch; local_arxiv, observed 2026-08-05T10:25:12.393076Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation f00d0e4c-da7d-429c-9397-0cf0165b3c26 · outbound

This paper cites In: de Alfaro, L.

Simplicity Lies in the Eye of the Beholder: A Strategic Perspective on Controllers in Reactive Synthesis In: de Alfaro, L

Reference 50

Resolution: unresolved; no resolver link, observed 2026-08-05T10:25:12.229605Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 11dbd23a-f305-4a56-be26-5c37e6f94df7 · outbound

This paper cites an unresolved cited work.

Simplicity Lies in the Eye of the Beholder: A Strategic Perspective on Controllers in Reactive Synthesis Unresolved cited work

Reference 51

Resolution: verified exact; doi, observed 2026-08-05T10:25:12.339734Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation c8b35321-e5e7-41e1-875d-587239f2a461 · outbound

This paper cites Theoretical Computer Science200(1), 135–183 (1998).

Simplicity Lies in the Eye of the Beholder: A Strategic Perspective on Controllers in Reactive Synthesis Theoretical Computer Science200(1), 135–183 (1998)

Reference 52

Resolution: unresolved; no resolver link, observed 2026-08-05T10:25:12.240407Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 273003af-608c-4f81-b760-f827d5c22d41 · outbound

This paper cites https://doi.org/10.1007/11539452_33.

Simplicity Lies in the Eye of the Beholder: A Strategic Perspective on Controllers in Reactive Synthesis https://doi.org/10.1007/11539452_33

Reference 442

Resolution: unresolved; no resolver link, observed 2026-08-05T10:25:12.135822Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5cbae727-4ed6-4be6-ab78-5510efcc2f4f · outbound

This paper cites https://doi.org/10.24963/IJCAI.2020/570.

Simplicity Lies in the Eye of the Beholder: A Strategic Perspective on Controllers in Reactive Synthesis https://doi.org/10.24963/IJCAI.2020/570

Reference 4127

Resolution: verified exact; doi, observed 2026-08-05T10:25:12.846903Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Coverage vector

Reference resolution

Outbound references

Pith citing papers