Multi-Objective Statistical Model Checking using Lightweight Strategy Sampling (extended version) | Paper Citation Record

Observation b7bb3949-6a7f-409f-9367-23aaaf47ea1b · outbound

This paper cites In: Salkind, N.J.

Multi-Objective Statistical Model Checking using Lightweight Strategy Sampling (extended version) In: Salkind, N.J

Reference 1

Resolution: unresolved; no resolver link, observed 2026-08-03T21:54:51.621306Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e9d66663-ec19-4e67-9bfb-dea86ec7717c · outbound

This paper cites an unresolved cited work.

Multi-Objective Statistical Model Checking using Lightweight Strategy Sampling (extended version) Unresolved cited work

Reference 2

Resolution: unresolved; no resolver link, observed 2026-08-03T21:54:51.624987Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f91f25ef-1f63-4688-bc40-82807df67c6c · outbound

This paper cites an unresolved cited work.

Multi-Objective Statistical Model Checking using Lightweight Strategy Sampling (extended version) Unresolved cited work

Reference 3

Resolution: malformed identifier; no resolver link, observed 2026-08-03T21:54:51.628332Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation fbed3faf-a2f2-401e-ae90-6eda878c7ac6 · outbound

This paper cites In: Beyer, D., Hartmanns, A., Kordon, F.

Multi-Objective Statistical Model Checking using Lightweight Strategy Sampling (extended version) In: Beyer, D., Hartmanns, A., Kordon, F

Reference 4

Resolution: unresolved; no resolver link, observed 2026-08-03T21:54:51.631257Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 25aa309f-a703-431c-8ff2-60a3faced7ba · outbound

This paper cites (eds.) 9th International Symposium on Leveraging Applications of Formal Methods (ISoLA 2020).

Multi-Objective Statistical Model Checking using Lightweight Strategy Sampling (extended version) (eds.) 9th International Symposium on Leveraging Applications of Formal Methods (ISoLA 2020)

Reference 5

Resolution: malformed identifier; no resolver link, observed 2026-08-03T21:54:51.634195Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 559e25ee-09c9-43f8-a68e-3a900aa289a5 · outbound

This paper cites In: Gretton, A., Robert, C.C.

Multi-Objective Statistical Model Checking using Lightweight Strategy Sampling (extended version) In: Gretton, A., Robert, C.C

Reference 6

Resolution: unresolved; no resolver link, observed 2026-08-03T21:54:51.637097Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 06a3a1dd-68ab-43d5-a4c7-73775afdd54f · outbound

This paper cites an unresolved cited work.

Multi-Objective Statistical Model Checking using Lightweight Strategy Sampling (extended version) Unresolved cited work

Reference 7

Resolution: malformed identifier; no resolver link, observed 2026-08-03T21:54:51.640313Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 55efde14-9e7a-4335-8ac8-a438e3894d1f · outbound

This paper cites In: Esparza, J., Grumberg, O., Sickert, S.

Multi-Objective Statistical Model Checking using Lightweight Strategy Sampling (extended version) In: Esparza, J., Grumberg, O., Sickert, S

Reference 8

Resolution: verified exact; doi, observed 2026-08-03T21:58:31.033046Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 8429df97-b593-4f84-a63d-4ea7ca548243 · outbound

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

Multi-Objective Statistical Model Checking using Lightweight Strategy Sampling (extended version) In: Clarke, E.M., Henzinger, T.A., Veith, H., Bloem, R

Reference 9

Resolution: malformed identifier; no resolver link, observed 2026-08-03T21:54:51.646046Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 61739afd-44b8-4cde-bcf1-7213789294c4 · outbound

This paper cites In: Heintz, F., Milano, M., O’Sullivan, B.

Multi-Objective Statistical Model Checking using Lightweight Strategy Sampling (extended version) In: Heintz, F., Milano, M., O’Sullivan, B

Reference 10

Resolution: verified exact; doi, observed 2026-08-03T21:58:30.653390Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 0a2b68a4-0e56-49b2-b71a-a7ec2fbbbd53 · outbound

This paper cites an unresolved cited work.

Multi-Objective Statistical Model Checking using Lightweight Strategy Sampling (extended version) Unresolved cited work

Reference 11

Resolution: malformed identifier; no resolver link, observed 2026-08-03T21:54:51.651920Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 33e9f649-a320-4581-af45-21ea42d88c0d · outbound

This paper cites (eds.) 19th International Conference on Computer Aided Verification (CAV 2007).

Multi-Objective Statistical Model Checking using Lightweight Strategy Sampling (extended version) (eds.) 19th International Conference on Computer Aided Verification (CAV 2007)

Reference 12

Resolution: verified exact; doi, observed 2026-08-03T21:58:30.362800Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 3eabf5a4-0b4d-4e61-901d-3a2d4e3775a4 · outbound

This paper cites Journal of Mathematics and Mechanics 6(5), 679–684 (1957).

Multi-Objective Statistical Model Checking using Lightweight Strategy Sampling (extended version) Journal of Mathematics and Mechanics 6(5), 679–684 (1957)

Reference 13

Resolution: unresolved; no resolver link, observed 2026-08-03T21:54:51.657498Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1401d6ea-af65-4791-9ee7-e0427fe98934 · outbound

This paper cites In: 15th Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 1995).

Multi-Objective Statistical Model Checking using Lightweight Strategy Sampling (extended version) In: 15th Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 1995)

Reference 14

Resolution: unresolved; no resolver link, observed 2026-08-03T21:54:51.660324Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0c1256ee-bcfb-4eac-b08c-e0fc1a239c54 · outbound

This paper cites Formal Aspects Com- put.31(2), 261–285 (2019).https://doi.org/10.1007/S00165-018-0458-2.

Multi-Objective Statistical Model Checking using Lightweight Strategy Sampling (extended version) Formal Aspects Com- put.31(2), 261–285 (2019).https://doi.org/10.1007/S00165-018-0458-2

Reference 15

Resolution: verified exact; doi, observed 2026-08-03T21:58:30.071205Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 2e01cfc2-2812-49c2-be41-8f592e09899a · outbound

This paper cites In: Tesauro, G., Touretzky, D.S., Leen, T.K.

Multi-Objective Statistical Model Checking using Lightweight Strategy Sampling (extended version) In: Tesauro, G., Touretzky, D.S., Leen, T.K

Reference 16

Resolution: unresolved; no resolver link, observed 2026-08-03T21:54:51.666220Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1f3d20b9-3937-41ed-a242-91dcb9234d4d · outbound

This paper cites In: Steffen, B.

Multi-Objective Statistical Model Checking using Lightweight Strategy Sampling (extended version) In: Steffen, B

Reference 17

Resolution: unresolved; no resolver link, observed 2026-08-03T21:54:51.668902Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1c64a7ee-6949-4fac-892c-a76f2f9e309a · outbound

This paper cites an unresolved cited work.

Multi-Objective Statistical Model Checking using Lightweight Strategy Sampling (extended version) Unresolved cited work

Reference 18

Resolution: unresolved; no resolver link, observed 2026-08-03T21:54:51.671611Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation cbeba6c4-def3-4f26-aeec-7e75709a6dc5 · outbound

This paper cites In: Legay, A., Margaria, T.

Multi-Objective Statistical Model Checking using Lightweight Strategy Sampling (extended version) In: Legay, A., Margaria, T

Reference 19

Resolution: unresolved; no resolver link, observed 2026-08-03T21:54:51.674716Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 871656a7-239f-4c82-b8b0-2e7dd56e3263 · outbound

This paper cites In: Gurfinkel, A., Heule, M.

Multi-Objective Statistical Model Checking using Lightweight Strategy Sampling (extended version) In: Gurfinkel, A., Heule, M

Reference 20

Resolution: verified exact; doi, observed 2026-08-03T21:58:29.825837Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation ef36403b-dbdf-45f1-a3cb-07959bfa3a48 · outbound

This paper cites In: 2nd International Joint Conference on Quantitative Evaluation of Sys- tems and Formal Modeling and Analysis of Timed Systems (QEST+FORMATS 2025).

Multi-Objective Statistical Model Checking using Lightweight Strategy Sampling (extended version) In: 2nd International Joint Conference on Quantitative Evaluation of Sys- tems and Formal Modeling and Analysis of Timed Systems (QEST+FORMATS 2025)

Reference 21

Resolution: verified exact; doi, observed 2026-08-03T21:58:29.573412Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 5a7418b3-e587-43fc-a34a-0801c4f86b59 · outbound

This paper cites an unresolved cited work.

Multi-Objective Statistical Model Checking using Lightweight Strategy Sampling (extended version) Unresolved cited work

Reference 22

Resolution: verified exact; doi, observed 2026-08-03T21:58:29.328885Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 63b25a62-1aca-4f19-a10c-d9bface8aadc · outbound

This paper cites In: Silva, A., Leino, K.R.M.

Multi-Objective Statistical Model Checking using Lightweight Strategy Sampling (extended version) In: Silva, A., Leino, K.R.M

Reference 23

Resolution: malformed identifier; no resolver link, observed 2026-08-03T21:54:51.686341Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f7a43218-7966-42ae-a347-f5c09cd1649b · outbound

This paper cites Biometrika26(4), 404–413 (1934).https://doi.org/ 10.1093/biomet/26.4.404.

Multi-Objective Statistical Model Checking using Lightweight Strategy Sampling (extended version) Biometrika26(4), 404–413 (1934).https://doi.org/ 10.1093/biomet/26.4.404

Reference 24

Resolution: unresolved; no resolver link, observed 2026-08-03T21:54:51.689320Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 05ede435-39da-4660-b7bd-8e24b5504e96 · outbound

This paper cites In: Lee, R., Jha, S., Mavridou, A.

Multi-Objective Statistical Model Checking using Lightweight Strategy Sampling (extended version) In: Lee, R., Jha, S., Mavridou, A

Reference 25

Resolution: verified exact; doi, observed 2026-08-03T21:58:29.028404Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 423ed8dc-572b-43f0-9b4f-549d26423d1b · outbound

This paper cites In: Baier, C., Lago, U.D.

Multi-Objective Statistical Model Checking using Lightweight Strategy Sampling (extended version) In: Baier, C., Lago, U.D

Reference 26

Resolution: unresolved; no resolver link, observed 2026-08-03T21:54:51.695078Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 32ba7ccd-e3e1-44cc-b852-a5bf7c59f031 · outbound

This paper cites In: Ábrahám, E., Huisman, M.(eds.)12thInternationalConferenceonIntegratedFormalMethods(iFM2016).

Multi-Objective Statistical Model Checking using Lightweight Strategy Sampling (extended version) In: Ábrahám, E., Huisman, M.(eds.)12thInternationalConferenceonIntegratedFormalMethods(iFM2016)

Reference 27

Resolution: verified exact; doi, observed 2026-08-03T21:58:28.819722Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 3d776ebb-82f5-4ae8-8d12-139fb0457820 · outbound

This paper cites an unresolved cited work.

Multi-Objective Statistical Model Checking using Lightweight Strategy Sampling (extended version) Unresolved cited work

Reference 28

Resolution: verified exact; doi, observed 2026-08-03T21:58:28.511611Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 245c8b0e-147d-4af6-8db4-57536d420a73 · outbound

This paper cites (eds.) 12th International Symposium on Automated Technology for Verification and Analysis (ATVA 2014).

Multi-Objective Statistical Model Checking using Lightweight Strategy Sampling (extended version) (eds.) 12th International Symposium on Automated Technology for Verification and Analysis (ATVA 2014)

Reference 29

Resolution: unresolved; no resolver link, observed 2026-08-03T21:54:51.703428Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e0a047ba-cabb-4f03-9dfe-5581751c0e8d · outbound

This paper cites In: Baier, C., Tinelli, C.

Multi-Objective Statistical Model Checking using Lightweight Strategy Sampling (extended version) In: Baier, C., Tinelli, C

Reference 30

Resolution: unresolved; no resolver link, observed 2026-08-03T21:54:51.706272Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9ac62351-3a23-46b8-917f-efee05cce465 · outbound

This paper cites an unresolved cited work.

Multi-Objective Statistical Model Checking using Lightweight Strategy Sampling (extended version) Unresolved cited work

Reference 31

Resolution: unresolved; no resolver link, observed 2026-08-03T21:54:51.709036Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation cc02c93b-edca-4889-a2e4-dc6cb2a6afee · outbound

This paper cites IEEE Trans.

Multi-Objective Statistical Model Checking using Lightweight Strategy Sampling (extended version) IEEE Trans

Reference 32

Resolution: unresolved; no resolver link, observed 2026-08-03T21:54:51.711761Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation adf144c5-02b2-436d-892f-c7458f7e48dd · outbound

This paper cites In: 25th Annual IEEE Symposium on Logic in Computer Science (LICS 2010).

Multi-Objective Statistical Model Checking using Lightweight Strategy Sampling (extended version) In: 25th Annual IEEE Symposium on Logic in Computer Science (LICS 2010)

Reference 33

Resolution: malformed identifier; no resolver link, observed 2026-08-03T21:54:51.714424Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 880f9fda-6cfa-4521-ab31-0eb6dcc9d40a · outbound

This paper cites an unresolved cited work.

Multi-Objective Statistical Model Checking using Lightweight Strategy Sampling (extended version) Unresolved cited work

Reference 34

Resolution: unresolved; no resolver link, observed 2026-08-03T21:54:51.717353Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 254ed8ee-8f7f-4810-848f-851a400fa31a · outbound

This paper cites In: Oh, A., Naumann, T., Glober- son, A., Saenko, K., Hardt, M., Levine, S.

Multi-Objective Statistical Model Checking using Lightweight Strategy Sampling (extended version) In: Oh, A., Naumann, T., Glober- son, A., Saenko, K., Hardt, M., Levine, S

Reference 35

Resolution: unresolved; no resolver link, observed 2026-08-03T21:54:51.720381Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8c03996a-0a7e-4b53-96f9-3b7da5a20e50 · outbound

This paper cites In: 36th AAAI Conference on Artificial Intelligence (AAAI 2022).

Multi-Objective Statistical Model Checking using Lightweight Strategy Sampling (extended version) In: 36th AAAI Conference on Artificial Intelligence (AAAI 2022)

Reference 36

Resolution: verified exact; doi, observed 2026-08-03T21:58:28.274481Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 4a718289-2d6a-4609-80bd-b2a1c5fa0619 · outbound

This paper cites In: Bernardo, M., Issarny, V.

Multi-Objective Statistical Model Checking using Lightweight Strategy Sampling (extended version) In: Bernardo, M., Issarny, V

Reference 37

Resolution: unresolved; no resolver link, observed 2026-08-03T21:54:51.728607Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 95bca35b-1915-476c-9aef-5784eae896fc · outbound

This paper cites In: Abdulla, P.A., Leino, K.R.M.

Multi-Objective Statistical Model Checking using Lightweight Strategy Sampling (extended version) In: Abdulla, P.A., Leino, K.R.M

Reference 38

Resolution: malformed identifier; no resolver link, observed 2026-08-03T21:54:51.731324Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation fe9e56df-f7e6-48ad-bb5f-0796e22a2430 · outbound

This paper cites Lecture Notes in Computer Science, vol.

Multi-Objective Statistical Model Checking using Lightweight Strategy Sampling (extended version) Lecture Notes in Computer Science, vol

Reference 39

Resolution: unresolved; no resolver link, observed 2026-08-03T21:54:51.734062Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 822b77ba-12a5-47a1-ba07-abb50c5f1b0b · outbound

This paper cites In: Finkbeiner, B., Wies, T.

Multi-Objective Statistical Model Checking using Lightweight Strategy Sampling (extended version) In: Finkbeiner, B., Wies, T

Reference 40

Resolution: verified exact; doi, observed 2026-08-03T21:58:28.009711Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation ecdc271f-8127-4c6b-9f9a-2b72dec83b51 · outbound

This paper cites an unresolved cited work.

Multi-Objective Statistical Model Checking using Lightweight Strategy Sampling (extended version) Unresolved cited work

Reference 41

Resolution: verified exact; doi, observed 2026-08-03T21:58:27.689459Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 4e5f4b12-3bbc-464a-9968-e03f7954972d · outbound

This paper cites an unresolved cited work.

Multi-Objective Statistical Model Checking using Lightweight Strategy Sampling (extended version) Unresolved cited work

Reference 42

Resolution: malformed identifier; no resolver link, observed 2026-08-03T21:54:51.743112Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b9c98a1a-8a7d-4f2e-8058-aa6fe653b686 · outbound

This paper cites In: Huis- man, M., Pasareanu, C.S., Zhan, N.

Multi-Objective Statistical Model Checking using Lightweight Strategy Sampling (extended version) In: Huis- man, M., Pasareanu, C.S., Zhan, N

Reference 43

Resolution: unresolved; no resolver link, observed 2026-08-03T21:54:51.745828Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation baab4ee2-ef83-47c3-b845-6becc2d85420 · outbound

This paper cites In: Ábrahám, E., Havelund, K.

Multi-Objective Statistical Model Checking using Lightweight Strategy Sampling (extended version) In: Ábrahám, E., Havelund, K

Reference 44

Resolution: unresolved; no resolver link, observed 2026-08-03T21:54:51.751563Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4010052a-3a2d-457d-a7ec-445a84d287eb · outbound

This paper cites In: Sankaranarayanan, S., Sharygina, N.

Multi-Objective Statistical Model Checking using Lightweight Strategy Sampling (extended version) In: Sankaranarayanan, S., Sharygina, N

Reference 45

Resolution: unresolved; no resolver link, observed 2026-08-03T21:54:51.754349Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a32cc5c2-ee61-4e88-ac97-0501d2bb38d7 · outbound

This paper cites In: Vojnar, T., Zhang, L.

Multi-Objective Statistical Model Checking using Lightweight Strategy Sampling (extended version) In: Vojnar, T., Zhang, L

Reference 46

Resolution: unresolved; no resolver link, observed 2026-08-03T21:54:51.757411Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7ea3589b-f035-4fd5-bb89-077fbd5616f8 · outbound

This paper cites In: 2017 Winter Simulation Conference (WSC 2017).

Multi-Objective Statistical Model Checking using Lightweight Strategy Sampling (extended version) In: 2017 Winter Simulation Conference (WSC 2017)

Reference 47

Resolution: unresolved; no resolver link, observed 2026-08-03T21:54:51.760652Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7ba045df-6821-4204-b7ce-f7226518e6de · outbound

This paper cites an unresolved cited work.

Multi-Objective Statistical Model Checking using Lightweight Strategy Sampling (extended version) Unresolved cited work

Reference 48

Resolution: malformed identifier; no resolver link, observed 2026-08-03T21:54:51.763357Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ddc9f6db-302e-415c-8795-d71c5052ebf2 · outbound

This paper cites an unresolved cited work.

Multi-Objective Statistical Model Checking using Lightweight Strategy Sampling (extended version) Unresolved cited work

Reference 49

Resolution: unresolved; no resolver link, observed 2026-08-03T21:54:51.766355Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c05b4727-acc2-46e5-9d00-b197b3997c84 · outbound

This paper cites an unresolved cited work.

Multi-Objective Statistical Model Checking using Lightweight Strategy Sampling (extended version) Unresolved cited work

Reference 50

Resolution: malformed identifier; no resolver link, observed 2026-08-03T21:54:51.769224Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation bd1cc64c-a81f-4d9a-a07e-e98e8e692421 · outbound

This paper cites an unresolved cited work.

Multi-Objective Statistical Model Checking using Lightweight Strategy Sampling (extended version) Unresolved cited work

Reference 51

Resolution: unresolved; no resolver link, observed 2026-08-03T21:54:51.772056Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 16d712cd-a182-4c9a-a468-9e95f38781d0 · outbound

This paper cites MIT Press (1960).

Multi-Objective Statistical Model Checking using Lightweight Strategy Sampling (extended version) MIT Press (1960)

Reference 52

Resolution: unresolved; no resolver link, observed 2026-08-03T21:54:51.774740Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9e966bd8-d325-40da-b6cd-62eed547e140 · outbound

This paper cites Generalized magnetoelectronic circuit theory and spin relaxation at interfaces in magnetic multilayers.

Multi-Objective Statistical Model Checking using Lightweight Strategy Sampling (extended version) Generalized magnetoelectronic circuit theory and spin relaxation at interfaces in magnetic multilayers

Reference 53

Resolution: malformed identifier; no resolver link, observed 2026-08-03T21:54:51.777426Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d1231971-ae24-4426-a786-7f3c78eea30d · outbound

This paper cites an unresolved cited work.

Multi-Objective Statistical Model Checking using Lightweight Strategy Sampling (extended version) Unresolved cited work

Reference 54

Resolution: malformed identifier; no resolver link, observed 2026-08-03T21:54:51.780443Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation da77eaff-335c-43d9-86d4-66f7f8472ea8 · outbound

This paper cites In: Grohe, M., Koski- nen, E., Shankar, N.

Multi-Objective Statistical Model Checking using Lightweight Strategy Sampling (extended version) In: Grohe, M., Koski- nen, E., Shankar, N

Reference 55

Resolution: malformed identifier; no resolver link, observed 2026-08-03T21:54:51.783056Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8f1410f2-c1c8-4c9d-bd56-0c4a2cbecbd3 · outbound

This paper cites In: Italiano, G.F., Pighizzini, G., Sannella, D.

Multi-Objective Statistical Model Checking using Lightweight Strategy Sampling (extended version) In: Italiano, G.F., Pighizzini, G., Sannella, D

Reference 56

Resolution: verified exact; doi, observed 2026-08-03T21:58:27.176255Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 37cfcf10-b44b-4450-be49-585e883249bd · outbound

This paper cites In: Dawar, A., Grädel, E.

Multi-Objective Statistical Model Checking using Lightweight Strategy Sampling (extended version) In: Dawar, A., Grädel, E

Reference 57

Resolution: unresolved; no resolver link, observed 2026-08-03T21:54:51.788971Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation be5a7683-c30c-4f50-adb3-026c01065db6 · outbound

This paper cites In: Gopalakrishnan, G., Qadeer, S.

Multi-Objective Statistical Model Checking using Lightweight Strategy Sampling (extended version) In: Gopalakrishnan, G., Qadeer, S

Reference 58

Resolution: malformed identifier; no resolver link, observed 2026-08-03T21:54:51.791707Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f337c75d-5827-4791-bdd8-18f543b60a29 · outbound

This paper cites an unresolved cited work.

Multi-Objective Statistical Model Checking using Lightweight Strategy Sampling (extended version) Unresolved cited work

Reference 59

Resolution: unresolved; no resolver link, observed 2026-08-03T21:54:51.794439Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e10bca18-80b1-4d3b-a776-91494b7d7f36 · outbound

This paper cites In: Canal, C., Idani, A.

Multi-Objective Statistical Model Checking using Lightweight Strategy Sampling (extended version) In: Canal, C., Idani, A

Reference 62

Resolution: malformed identifier; no resolver link, observed 2026-08-03T21:54:51.804365Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d87ee544-c76b-4eb2-97b2-34044796188d · outbound

This paper cites In: Shen, W., Abel, M., Matta, N., Barthès, J.A., Luo, J., Zhang, J., Zhu, H., Peng, K.

Multi-Objective Statistical Model Checking using Lightweight Strategy Sampling (extended version) In: Shen, W., Abel, M., Matta, N., Barthès, J.A., Luo, J., Zhang, J., Zhu, H., Peng, K

Reference 63

Resolution: unresolved; no resolver link, observed 2026-08-03T21:54:51.807031Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 63600587-fb82-4b5f-aa8c-a7ecd227a65a · outbound

This paper cites IEEE Trans.

Multi-Objective Statistical Model Checking using Lightweight Strategy Sampling (extended version) IEEE Trans

Reference 64

Resolution: unresolved; no resolver link, observed 2026-08-03T21:54:51.809767Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7f53286e-283c-4f34-8ecc-5b17275aad32 · outbound

This paper cites Springer (1966).https:// doi.org/10.1007/978-1-4613-8122-8.

Multi-Objective Statistical Model Checking using Lightweight Strategy Sampling (extended version) Springer (1966).https:// doi.org/10.1007/978-1-4613-8122-8

Reference 65

Resolution: verified exact; doi, observed 2026-08-03T21:58:26.909878Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation e7062228-e001-4ee4-880e-4f4bd013dfa9 · outbound

This paper cites an unresolved cited work.

Multi-Objective Statistical Model Checking using Lightweight Strategy Sampling (extended version) Unresolved cited work

Reference 66

Resolution: unresolved; no resolver link, observed 2026-08-03T21:54:51.816209Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d183e109-3c5b-46db-85ef-d0fba5ff8d2f · outbound

This paper cites an unresolved cited work.

Multi-Objective Statistical Model Checking using Lightweight Strategy Sampling (extended version) Unresolved cited work

Reference 67

Resolution: verified exact; doi, observed 2026-08-03T21:58:26.666815Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 79060fd6-8c14-4c76-b077-527565eace00 · outbound

This paper cites an unresolved cited work.

Multi-Objective Statistical Model Checking using Lightweight Strategy Sampling (extended version) Unresolved cited work

Reference 68

Resolution: unresolved; no resolver link, observed 2026-08-03T21:54:51.821847Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation dd22b3dd-7227-4d74-8f91-6952d2931844 · outbound

This paper cites In: Silva, S., Paquete, L.

Multi-Objective Statistical Model Checking using Lightweight Strategy Sampling (extended version) In: Silva, S., Paquete, L

Reference 69

Resolution: unresolved; no resolver link, observed 2026-08-03T21:54:51.824411Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8920378c-b835-4e28-b763-27af0b12476b · outbound

This paper cites In: Lamont, G.B., Haddad, H., Papadopoulos, G.A., Panda, B.

Multi-Objective Statistical Model Checking using Lightweight Strategy Sampling (extended version) In: Lamont, G.B., Haddad, H., Papadopoulos, G.A., Panda, B

Reference 70

Resolution: unresolved; no resolver link, observed 2026-08-03T21:54:51.829698Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 79ae8347-e1ae-4123-9c74-bb2ad1fdaff9 · outbound

This paper cites In: 18th Annual Symposium on Foun- dations of Computer Science (FOCS 1977).

Multi-Objective Statistical Model Checking using Lightweight Strategy Sampling (extended version) In: 18th Annual Symposium on Foun- dations of Computer Science (FOCS 1977)

Reference 71

Resolution: unresolved; no resolver link, observed 2026-08-03T21:54:51.832402Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9234eb96-5c5d-4d6a-b51d-deb135ea14ce · outbound

This paper cites Wiley Series in Probability and Statistics, Wiley (1994).https:// doi.org/10.1002/9780470316887.

Multi-Objective Statistical Model Checking using Lightweight Strategy Sampling (extended version) Wiley Series in Probability and Statistics, Wiley (1994).https:// doi.org/10.1002/9780470316887

Reference 72

Resolution: unresolved; no resolver link, observed 2026-08-03T21:54:51.835399Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 56d8542a-a115-45c5-818b-016a53a8a37e · outbound

This paper cites an unresolved cited work.

Multi-Objective Statistical Model Checking using Lightweight Strategy Sampling (extended version) Unresolved cited work

Reference 73

Resolution: verified exact; doi, observed 2026-08-03T21:58:26.408141Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 10cb642d-1ee6-4a62-a68b-e3a4dd999ccf · outbound

This paper cites an unresolved cited work.

Multi-Objective Statistical Model Checking using Lightweight Strategy Sampling (extended version) Unresolved cited work

Reference 74

Resolution: malformed identifier; no resolver link, observed 2026-08-03T21:54:51.841185Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ba78890e-82a6-44b0-bcfb-632e843115f9 · outbound

This paper cites Formal Methods Syst.

Multi-Objective Statistical Model Checking using Lightweight Strategy Sampling (extended version) Formal Methods Syst

Reference 75

Resolution: unresolved; no resolver link, observed 2026-08-03T21:54:51.843938Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a244970e-17b5-4ddf-8e90-3b7658c62c7b · outbound

This paper cites an unresolved cited work.

Multi-Objective Statistical Model Checking using Lightweight Strategy Sampling (extended version) Unresolved cited work

Reference 76

Resolution: malformed identifier; no resolver link, observed 2026-08-03T21:54:51.846957Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 936d4af7-0ba3-4760-a900-51791220c090 · outbound

This paper cites an unresolved cited work.

Multi-Objective Statistical Model Checking using Lightweight Strategy Sampling (extended version) Unresolved cited work

Reference 77

Resolution: unresolved; no resolver link, observed 2026-08-03T21:54:51.850111Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 118ead5a-ef65-4669-867b-1a9165ddef29 · outbound

This paper cites an unresolved cited work.

Multi-Objective Statistical Model Checking using Lightweight Strategy Sampling (extended version) Unresolved cited work

Reference 78

Resolution: malformed identifier; no resolver link, observed 2026-08-03T21:54:51.852930Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 73477307-1ac8-48fb-9608-2565a9daeb6d · outbound

This paper cites Future Gener.

Multi-Objective Statistical Model Checking using Lightweight Strategy Sampling (extended version) Future Gener

Reference 79

Resolution: malformed identifier; no resolver link, observed 2026-08-03T21:54:51.855866Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 052aad27-c858-461c-964b-551ff56095df · outbound

This paper cites an unresolved cited work.

Multi-Objective Statistical Model Checking using Lightweight Strategy Sampling (extended version) Unresolved cited work

Reference 80

Resolution: verified exact; doi, observed 2026-08-03T21:58:26.114542Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 379fe749-d51c-468d-a8d7-6cf0effcaabe · outbound

This paper cites In: Touretzky, D.S., Mozer, M., Hasselmo, M.E.

Multi-Objective Statistical Model Checking using Lightweight Strategy Sampling (extended version) In: Touretzky, D.S., Mozer, M., Hasselmo, M.E

Reference 81

Resolution: unresolved; no resolver link, observed 2026-08-03T21:54:51.861759Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7a09f12c-6c69-4446-9915-efeb2e22955d · outbound

This paper cites MIT Press (2018).

Multi-Objective Statistical Model Checking using Lightweight Strategy Sampling (extended version) MIT Press (2018)

Reference 82

Resolution: unresolved; no resolver link, observed 2026-08-03T21:54:51.864661Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e791bd55-6cd0-4806-9d82-fe8abfba5c3a · outbound

This paper cites In: Pfen- ning, F.

Multi-Objective Statistical Model Checking using Lightweight Strategy Sampling (extended version) In: Pfen- ning, F

Reference 83

Resolution: malformed identifier; no resolver link, observed 2026-08-03T21:54:51.867668Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ed708dd2-6d1a-498c-8477-4d6d77b07e63 · outbound

This paper cites an unresolved cited work.

Multi-Objective Statistical Model Checking using Lightweight Strategy Sampling (extended version) Unresolved cited work

Reference 84

Resolution: unresolved; no resolver link, observed 2026-08-03T21:54:51.870465Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3753e799-3b51-4b1d-a2f7-cd29b8d9a38d · outbound

This paper cites an unresolved cited work.

Multi-Objective Statistical Model Checking using Lightweight Strategy Sampling (extended version) Unresolved cited work

Reference 85

Resolution: verified exact; doi, observed 2026-08-03T21:58:25.917604Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 95b3970f-5d91-40e8-8cfe-70b07acefea0 · outbound

This paper cites an unresolved cited work.

Multi-Objective Statistical Model Checking using Lightweight Strategy Sampling (extended version) Unresolved cited work

Reference 86

Resolution: verified exact; doi, observed 2026-08-03T21:58:25.775561Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 0d26860e-e1b5-443a-8a59-b783457dd5bf · outbound

This paper cites IEEE Trans.

Multi-Objective Statistical Model Checking using Lightweight Strategy Sampling (extended version) IEEE Trans

Reference 87

Resolution: unresolved; no resolver link, observed 2026-08-03T21:54:51.879646Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6e508b2b-3e42-445f-85f0-f416796c8561 · outbound

This paper cites an unresolved cited work.

Multi-Objective Statistical Model Checking using Lightweight Strategy Sampling (extended version) Unresolved cited work

Reference 88

Resolution: verified exact; doi, observed 2026-08-03T21:58:25.637181Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 65e6a292-228a-41c2-bce2-c9c054a1a4b0 · outbound

This paper cites In: Coelho, H., Studer, R., Wooldridge, M.J.

Multi-Objective Statistical Model Checking using Lightweight Strategy Sampling (extended version) In: Coelho, H., Studer, R., Wooldridge, M.J

Reference 89

Resolution: malformed identifier; doi_truncated, observed 2026-08-03T21:58:25.504174Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation bedcdd78-0236-4a16-b676-7ed6ee260556 · outbound

This paper cites In: 2014 IEEE Symposium on Adaptive Dynamic Pro- gramming and Reinforcement Learning (ADPRL 2014).

Multi-Objective Statistical Model Checking using Lightweight Strategy Sampling (extended version) In: 2014 IEEE Symposium on Adaptive Dynamic Pro- gramming and Reinforcement Learning (ADPRL 2014)

Reference 90

Resolution: unresolved; no resolver link, observed 2026-08-03T21:54:51.887791Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 27f40822-45dd-4317-addc-fb5d11832479 · outbound

This paper cites In: Bonet, B., Koenig, S.

Multi-Objective Statistical Model Checking using Lightweight Strategy Sampling (extended version) In: Bonet, B., Koenig, S

Reference 91

Resolution: unresolved; no resolver link, observed 2026-08-03T21:54:51.890465Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ea564e3e-c3c4-4c84-90c1-23f204afde1d · outbound

This paper cites In: Yamamoto, S., Mori, H.

Multi-Objective Statistical Model Checking using Lightweight Strategy Sampling (extended version) In: Yamamoto, S., Mori, H

Reference 92

Resolution: verified exact; doi, observed 2026-08-03T21:58:25.304884Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 5011234d-5d61-4f88-ac70-f22559c705b5 · outbound

This paper cites In: Brinksma, E., Larsen, K.G.

Multi-Objective Statistical Model Checking using Lightweight Strategy Sampling (extended version) In: Brinksma, E., Larsen, K.G

Reference 93

Resolution: unresolved; no resolver link, observed 2026-08-03T21:54:51.896010Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 29de8813-82ff-4c07-b358-4144a844b849 · outbound

This paper cites IEEE Trans.

Multi-Objective Statistical Model Checking using Lightweight Strategy Sampling (extended version) IEEE Trans

Reference 94

Resolution: unresolved; no resolver link, observed 2026-08-03T21:54:51.898716Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c36e224b-43d8-4272-8d6d-722d3cb55a48 · outbound

This paper cites EURASIP J.

Multi-Objective Statistical Model Checking using Lightweight Strategy Sampling (extended version) EURASIP J

Reference 95

Resolution: malformed identifier; no resolver link, observed 2026-08-03T21:54:51.901550Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 67a84a66-0b5e-4932-8443-a73500e16dbd · outbound

This paper cites In: Branke, J., Deb, K., Miettinen, K., Slowinski, R.

Multi-Objective Statistical Model Checking using Lightweight Strategy Sampling (extended version) In: Branke, J., Deb, K., Miettinen, K., Slowinski, R

Reference 96

Resolution: verified exact; doi, observed 2026-08-03T21:58:24.941036Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation eae98bd9-98d4-4a29-a3a8-e1179223437a · outbound

This paper cites In: Eiben, A.E., Bäck, T., Schoenauer, M., Schwefel, H.P.

Multi-Objective Statistical Model Checking using Lightweight Strategy Sampling (extended version) In: Eiben, A.E., Bäck, T., Schoenauer, M., Schwefel, H.P

Reference 97

Resolution: unresolved; no resolver link, observed 2026-08-03T21:54:51.907210Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a095c79a-2f28-44b6-9ec1-31451715c6d7 · outbound

This paper cites ground truth.

Multi-Objective Statistical Model Checking using Lightweight Strategy Sampling (extended version) ground truth

Reference 98

Resolution: malformed identifier; no resolver link, observed 2026-08-03T21:54:51.910074Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2325056d-7379-499e-92a9-1106b2c7a154 · outbound

This paper cites an unresolved cited work.

Multi-Objective Statistical Model Checking using Lightweight Strategy Sampling (extended version) Unresolved cited work

Reference 159

Resolution: verified exact; doi, observed 2026-08-03T21:58:27.487246Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation ba442a00-d7d3-4534-955a-afb53994b160 · outbound

This paper cites an unresolved cited work.

Multi-Objective Statistical Model Checking using Lightweight Strategy Sampling (extended version) Unresolved cited work

Reference 1971

Resolution: unresolved; no resolver link, observed 2026-08-03T21:54:51.827013Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ea5ba68d-d13c-4e70-9cfc-ac77aad016e8 · outbound

This paper cites an unresolved cited work.

Multi-Objective Statistical Model Checking using Lightweight Strategy Sampling (extended version) Unresolved cited work

Reference 2023

Resolution: unresolved; no resolver link, observed 2026-08-03T21:54:51.723195Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Coverage vector

Reference resolution

Outbound references

Pith citing papers