FORMATS 2010 - PDF Preprint Papers

FORMATS 2010 Formal Modeling and Analysis of Timed Systems

Teaser Browsing | Click Here

Title Browsing | Click Here

Wall of Fame | Most Viewed FORMATS-2010 Paper

click to vote

FORMATS
2010
Springer

68views Formal Methods» more FORMATS 2010»

Combining Symbolic Representations for Solving Timed Games

1 years 3 months ago

Download react.cs.uni-sb.de

We present a general approach to combine symbolic state space representations for the discrete and continuous parts in the synthesis of winning strategies for timed reachability ga...

Rüdiger Ehlers, Robert Mattmüller, Hans-...

claim paper

Read More »

Disclaimer and Copyright Notice

Sciweavers respects the rights of all copyright holders and in this regard, authors are only allowed to share a link to their preprint paper on their own website. Every contribution is associated with a desciptive image. It is the sole responsibility of the authors to ensure that their posted image is not copyright infringing. This service is compliant with IEEE copyright.

Id	Views	Title	Status
1	68	Combining Symbolic Representations for Solving Timed Games	claim
2	67	Layered Composition for Timed Automata	claim
3	64	Natural Domain SMT: A Preliminary Assessment	claim
4	59	Diagnosis Using Unfoldings of Parametric Time Petri Nets	claim
5	58	Simulation and Bisimulation for Probabilistic Timed Automata	claim
6	54	A Framework for Verification of Software with Time and Probabilities	claim
7	53	Expected Reachability-Time Games	claim
8	52	Robust Satisfaction of Temporal Logic over Real-Valued Signals	claim
9	51	From Mtl to Deterministic Timed Automata	claim
10	51	Computing Equilibria in Two-Player Timed Games via Turn-Based Finite Games	claim
11	50	Safraless Procedures for Timed Specifications	claim

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers