Zobrazeno 1 - 10
of 27
pro vyhledávání: '"Mercer, Eric G"'
Temporal logic can be used to formally specify autonomous agent goals, but synthesizing planners that guarantee goal satisfaction can be computationally prohibitive. This paper shows how to turn goals specified using a subset of finite trace Linear T
Externí odkaz:
http://arxiv.org/abs/2307.06399
Autor:
Kumar, Rahul, Mercer, Eric G.
Publikováno v:
In Electronic Notes in Theoretical Computer Science 19 April 2005 128(3):19-34
Publikováno v:
In Electronic Notes in Theoretical Computer Science September 2003 89(1):84-98
Publikováno v:
In Electronic Notes in Theoretical Computer Science June 2002 65(6):180-201
Autor:
Kumar, Rahul, Mercer, Eric G
This paper presents a Live Sequence Chart (LSC) to automata transformation algorithm that enables the verification of communication protocol implementations. Using this LSC to automata transformation a communication protocol implementation can be ver
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::848fd72c2d4886b8f00dbafe0f67655d
Autor:
Rungta, Neha, Mercer, Eric G, Raimondi, Franco, Krantz, Bjorn C., Stocker, Richard, Wallace, Andrew
Publikováno v:
Proceedings of the 8th International Workshop on Modeling in Software Engineering; 2016, p41-47, 7p
Publikováno v:
2015 30th IEEE/ACM International Conference on Automated Software Engineering (ASE); 2015, p535-540, 6p
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Publikováno v:
Proceedings of the Twenty-Fourth Annual ACM Symposium Parallelism in Algorithms & Architectures; 6/25/2012, p48-57, 10p
Autor:
Rungta, Neha, Mercer, Eric G.
Publikováno v:
Proceedings of the 7th Workshop: Parallel & Distributed Systems; 7/19/2009, p1-10, 10p