Tools and Algorithms for the Construction and Analysis of Systems
DOI10.1007/B96393zbMATH Open1126.68461OpenAlexW4299869287MaRDI QIDQ5308409FDOQ5308409
Authors: Jacob Illum Rasmussen, Kim G. Larsen, K. Subramani 
Publication date: 28 September 2007
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/b96393
Recommendations
Formal languages and automata (68Q45) Linear programming (90C05) Deterministic scheduling theory in operations research (90B35) Performance evaluation, queueing, and scheduling in the context of computer systems (68M20)
Cited In (13)
- Model-based verification, optimization, synthesis and performance evaluation of real-time systems
- A Kleene-Schützenberger Theorem for Weighted Timed Automata
- A Kleene-Schützenberger theorem for weighted timed automata
- Backward symbolic optimal reachability in weighted timed automata
- Survey on Directed Model Checking
- On using priced timed automata to achieve optimal scheduling
- Monte Carlo tree search for priced timed automata
- Cost-optimal timed trace synthesis for scheduling of intermittent embedded systems
- Model checking logic WCTL with multi constrained modalities on one clock priced timed automata
- Formal Methods for Components and Objects
- On the complexities of selected satisfiability and equivalence queries over Boolean formulas and inclusion queries over hulls
- Towards a tropical automaton product minimizing global completion times
- Title not available (Why is that?)
Uses Software
This page was built for publication: Tools and Algorithms for the Construction and Analysis of Systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5308409)
