Extending Timed Automaton and Real-Time Logic to Many-Valued Reasoning

DOI10.1007/3-540-45739-9_13zbMath1278.68132OpenAlexW1533106128MaRDI QIDQ5392290

Rebeca P. Díaz-Redondo, José J. Pazos Arias, Ana Fernándezvilas

Publication date: 8 April 2011

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/3-540-45739-9_13

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Reasoning under uncertainty in the context of artificial intelligence (68T37) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Uses Software

• SCTL-MUS

This page was built for publication: Extending Timed Automaton and Real-Time Logic to Many-Valued Reasoning