Debido al alto tráfico generado por robots, aplicamos límites en el número de peticiones permitidas por cliente y bloqueos por IP automáticos. Si haces un uso legítimo y estás teniendo problemas, avísanos para reevaluar nuestras políticas de bloqueo. Disculpa las molestias.

Resumen:
Tableaux for Realizability of Safety Specifications

Vista sencilla de ítem
bs.conference.acronymPROLE
bs.conference.nameJornadas de Programación y Lenguajes (2024)
bs.edition.date2024-06-17
bs.edition.locationA Coruña
bs.edition.nameXXIII Jornadas de Programación y Lenguajes (PROLE 2024)
bs.proceedings.editorArias, J.
bs.proceedings.nameActas de las XXIII Jornadas de Programación y Lenguajes (PROLE 2024)
dc.contributor.affiliationUniverstiy of the Basque Country, Spain
dc.contributor.affiliationUniverstiy of the Basque Country, Spain
dc.contributor.affiliationIMDEA Software Institute, Spain
dc.contributor.authorHermo, Montserrat
dc.contributor.authorLucio, Paqui
dc.contributor.authorSanchez, Cesar
dc.contributor.emailmontserrat.hermo@ehu.eus
dc.contributor.emailpaqui.lucio@ehu.eus
dc.contributor.emailcesar.sanchez@imdea.org
dc.contributor.signatureHermo, Montserrat
dc.contributor.signatureLucio, Paqui
dc.contributor.signatureSánchez, César
dc.date.accessioned2024-05-23T18:08:15Z
dc.date.available2024-05-23T18:08:15Z
dc.date.issued2024-06-17
dc.description.abstractThis work was presented at Formal Methods 2023 conference in Lübeck, Germany.
dc.identifier.citationHermo, M., Lucio, P., Sánchez, C.: Tableaux for Realizability of Safety Specifications. In: Arias, J. (ed.) Actas de las XXIII Jornadas de Programación y Lenguajes (PROLE 2024). Sistedes (2024). https://hdl.handle.net/11705/PROLE/2024/1
dc.identifier.citation-bibtex@inproceedings{11705:PROLE:2024:1, title = {{Tableaux for Realizability of Safety Specifications}}, author = {Hermo, M. and Lucio, P. and S\'{a}nchez, C.}, url = {https://hdl.handle.net/11705/PROLE/2024/1}, crossref = {11705:PROLE:2024} } @proceedings{11705:PROLE:2024, title = {{Actas de las XXIII Jornadas de Programaci\'{o}n y Lenguajes (PROLE 2024)}}, author = {Arias, J.}, year = {2024}, publisher = {{Sistedes}}, }
dc.identifier.sistedes11705/PROLE/2024/1
dc.identifier.urihttps://hdl.handle.net/11705/3110
dc.publisherSistedes
dc.relation.ispartofActas de las XXIII Jornadas de Programación y Lenguajes (PROLE 2024)
dc.rights.licenseCC BY-NC-ND 4.0
dc.rights.urihttps://creativecommons.org/licenses/by-nc-nd/4.0/
dc.subjectLinear Temporal Logic
dc.subjectTableaux
dc.subjectReactive Systems
dc.subjectRealizability
dc.subjectSynthesis
dc.titleTableaux for Realizability of Safety Specifications
dspace.entity.typeResumen
relation.isAuthorOfAbstract77210fe2-d4cc-466f-9dc3-9c9b47553307
relation.isAuthorOfAbstract1c7739e6-8580-4d52-86c6-f9d511516cd3
relation.isAuthorOfAbstract8a951bdc-c6bc-4302-b5b4-4cd9d375158e
relation.isAuthorOfAbstract.latestForDiscovery77210fe2-d4cc-466f-9dc3-9c9b47553307

Archivos

Bloque original

Mostrando 1 - 1 de 1
Miniatura
Nombre:
11705-PROLE-2024-1.pdf
Tamaño:
129.77 KB
Formato:
Adobe Portable Document Format
Descargar

Colecciones

Lógica Temporal Lineal