About: Timed automaton

An Entity of Type: Thing, from Named Graph: http://dbpedia.org, within Data Space: dbpedia.org

unknown

Property	Value
dbo:thumbnail	wiki-commons:Special:FilePath/Timed_automation_1.svg?width=300
dbo:wikiPageWikiLink	dbr:Finite_set dbr:Automata_theory dbc:Automata_(computation) dbr:Coanalytic_set dbr:PSPACE-complete dbr:Alternating_timed_automaton dbr:Region_(model_checking) dbr:Computational_complexity dbr:Hybrid_automaton dbr:Uppaal_Model_Checker dbr:Clock_(model_checking) dbr:Timed_word dbr:Reachability_problem dbr:Timed-word dbr:Büchi_automata dbr:Finite_automata dbr:Finite_automaton dbr:Powerset dbr:Primitive_recursive dbr:File:2019-03-22-094222_149x145_scrot.png dbr:File:2019-03-22-095011_260x182_scrot.png dbr:Kronos_model_checker
dbp:b	1 (xsd:integer)
dbp:p	1 (xsd:integer)
dbp:wikiPageUsesTemplate	dbt:R dbt:Su dbt:Short_description
dct:subject	dbc:Automata_(computation)
gold:hypernym	dbr:Automaton
rdfs:label	Timed automaton (en) Automate temporisé (fr) Темпоральний автомат (uk)
owl:sameAs	freebase:Timed automaton yago-res:Timed automaton wikidata:Timed automaton dbpedia-fr:Timed automaton dbpedia-fa:Timed automaton dbpedia-uk:Timed automaton dbpedia-global:Timed automaton
prov:wasDerivedFrom	wikipedia-en:Timed_automaton?oldid=1296041346&ns=0
foaf:depiction	wiki-commons:Special:FilePath/2019-03-22-095011_260x182_scrot.png wiki-commons:Special:FilePath/Timed_automation_1.svg
foaf:isPrimaryTopicOf	wikipedia-en:Timed_automaton
is dbo:wikiPageRedirects of	dbr:Timed_automata
is dbo:wikiPageWikiLink of	dbr:Event_segment dbr:Rajeev_Alur dbr:Service_choreography dbr:Automated_planning_and_scheduling dbr:DREAM_(software) dbr:List_of_model_checking_tools dbr:PRISM_model_checker dbr:Formal_verification dbr:Alternating_timed_automaton dbr:Region_(model_checking) dbr:Hybrid_automaton dbr:David_L._Dill dbr:Véronique_Bruyère dbr:Uppaal_Model_Checker dbr:Patricia_Bouyer-Decitre dbr:Clock_(model_checking) dbr:Metric_interval_temporal_logic dbr:Signal_automaton dbr:Timed_word dbr:Weighted_automaton dbr:Timed_automata
is foaf:primaryTopic of	wikipedia-en:Timed_automaton