Back to Results
First PageMeta Content
Applied mathematics / Mathematics / Büchi automaton / Automata theory / Equivalence relation / Computer science


Synthesizing Certificates in Networks of Timed Automata∗ Bernd Finkbeiner Hans-J¨org Peter Saarland University {finkbeiner | peter}@cs.uni-sb.de
Add to Reading List

Document Date: 2009-02-12 09:49:58

Open Document

File Size: 222,68 KB

Share Result on Facebook

Company

META-LEVEL Software AG / METALEVEL Software AG / /

Currency

pence / /

/

Facility

Sven Schewe University of Liverpool sven.schewe@liverpool.ac.uk Figure / Timed Automata∗ Bernd Finkbeiner Hans-J¨org Peter Saarland University / /

IndustryTerm

similar learning algorithms / synthesis algorithm / incremental algorithm / mutual exclusion protocol / car manufacturing / labeled finite-state transition systems / real-time systems / embedded real-time systems / model checking algorithms / /

Organization

German Research Foundation / Transregional Collaborative Research Center / Timed Automata∗ Bernd Finkbeiner Hans-J¨org Peter Saarland University / University of Liverpool / /

Person

Bernd Finkbeiner / /

Position

precise forward / representative / guard / Forward / designer / weak forward / Forward-Backward Reachability The forward / controller / /

ProgrammingLanguage

Promela / C / /

ProvinceOrState

sem / /

PublishedMedium

Complex Systems / /

Technology

mutual exclusion protocol / synthesis algorithm / Opteron processor / simulation / similar learning algorithms / incremental algorithm / model checking algorithms / GPS / /

SocialTag