skip to main content

Idioma:

Improved undecidability results on weighted timed automata

Bouyer, Patricia ; Brihaye, Thomas ; Markey, Nicolas

Information processing letters, 2006-06, Vol.98 (5), p.188-194 [Periódico revisado por pares]

Amsterdam: Elsevier B.V

Texto completo disponível

Citações Citado por

Enviar para

Título:
Improved undecidability results on weighted timed automata
Autor: Bouyer, Patricia ; Brihaye, Thomas ; Markey, Nicolas
Assuntos: Applied sciences ; Automata. Abstract machines. Turing machines ; Computer Science ; Computer science; control theory; systems ; Exact sciences and technology ; Logic in Computer Science ; Mathematical models ; Real time ; Real-time systems ; Studies ; Theoretical computing ; Weighted timed automata ; Weighted timed games
É parte de: Information processing letters, 2006-06, Vol.98 (5), p.188-194
Descrição: In this paper, we strengthen two recent undecidability results about weighted timed automata, an extension of timed automata with cost variables. More precisely, we propose new encodings of a Minsky machine that only require three clocks and one stopwatch cost, while previous reductions required five clocks and one stopwatch cost.
Editor: Amsterdam: Elsevier B.V
Idioma: Inglês

Links

Voltar para lista de resultados

Realização: Logos de Redes Sociais:

Buscando em bases de dados remotas. Favor aguardar.

Buscando por
emscope:(USP_VIDEOS),scope:("PRIMO"),scope:(USP_FISICO),scope:(USP_EREVISTAS),scope:(USP),scope:(USP_EBOOKS),scope:(USP_PRODUCAO),primo_central_multiple_fe
Mostrar o que foi encontrado até o momento