Search Results - Jiří Srba

Refine Results
  1. 41
    A Logic for Accumulated-Weight Reasoning on Multiweighted Modal Automata

    A Logic for Accumulated-Weight Reasoning on Multiweighted Modal Automata by Bauer, Sebastian, Juhl, Line, Larsen, Kim G., Srba, Jiri, Legay, Axel

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  2. 42
    Complexity of weak bisimilarity and regularity for BPA and BPP

    Complexity of weak bisimilarity and regularity for BPA and BPP by SRBA, JIŘÍ

    Get full text
    Items that cite this one
    Article
    Save to List
    Saved in:
  3. 43
    Undecidability of Bisimilarity by Defender's Forcing

    Undecidability of Bisimilarity by Defender's Forcing by JANCAR, Petr, SRBA, Jiri

    Published in Journal of the ACM
    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  4. 44
    Stubborn Set Reduction for Two-Player Reachability Games

    Stubborn Set Reduction for Two-Player Reachability Games by Frederik Meyer Bønneland, Jensen, Peter Gjøl, Larsen, Kim Guldstrand, Muñiz, Marco, Srba, Jiří

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  5. 45
    Basic process algebra with deadlocking states

    Basic process algebra with deadlocking states by Srba, Jiřı́

    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  6. 46
    Beyond Language Equivalence on Visibly Pushdown Automata

    Beyond Language Equivalence on Visibly Pushdown Automata by Srba, Jiří

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  7. 47
    Complexity of Weak Bisimilarity and Regularity for BPA and BPP

    Complexity of Weak Bisimilarity and Regularity for BPA and BPP by Srba, Jiří

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  8. 48
    Proceedings Cassting Workshop on Games for the Synthesis of Complex Systems and 3rd International Workshop on Synthesis of Complex Parameters

    Proceedings Cassting Workshop on Games for the Synthesis of Complex Systems and 3rd International Workshop on Synthesis of Complex Parameters by Brihaye, Thomas, Delahaye, Benoît, Jezequel, Loïg, Markey, Nicolas, Srba, Jiří

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  9. 49
    Note on Undecidability of Bisimilarity for Second-Order Pushdown Processes

    Note on Undecidability of Bisimilarity for Second-Order Pushdown Processes by Jančar, Petr, Srba, Jiří

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  10. 50
    MPLS-Kit: An MPLS Data Plane Toolkit

    MPLS-Kit: An MPLS Data Plane Toolkit by Vanerio, Juan, Schmid, Stefan, Schou, Morten Konggaard, Srba, Jiri

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  11. 51
    Preface

    Preface by Srba, Jiří, Smolka, Scott A.

    Get full text
    Article
    Save to List
    Saved in:
  12. 52
    A Forward Reachability Algorithm for Bounded Timed-Arc Petri Nets

    A Forward Reachability Algorithm for Bounded Timed-Arc Petri Nets by Alexandre, David, Jacobsen, Lasse, Jacobsen, Morten, Srba, Jiří

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  13. 53
    Time-Darts: A Data Structure for Verification of Closed Timed Automata

    Time-Darts: A Data Structure for Verification of Closed Timed Automata by Jørgensen, Kenneth Y, Larsen, Kim G, Srba, Jiří

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  14. 54
    Proceedings Cassting Workshop on Games for the Synthesis of Complex Systems and 3rd International Workshop on Synthesis of Complex Parameters

    Proceedings Cassting Workshop on Games for the Synthesis of Complex Systems and 3rd International Workshop on Synthesis of Complex Parameters by Brihaye, Thomas, Delahaye, Benoit, Jezequel, Loïg, Markey, Nicolas, Srba, Jiří

    Get full text
    Text Resource
    Save to List
    Saved in:
  15. 55
    Learning Safe and Optimal Control Strategies for Storm Water Detention Ponds⁎⁎We thank the support from Villum Synergy project CLAIRE and ERC Advanced Grant LASSO

    Learning Safe and Optimal Control Strategies for Storm Water Detention Ponds⁎⁎We thank the support from Villum Synergy project CLAIRE and ERC Advanced Grant LASSO by Goorden, Martijn A., Larsen, Kim G., Nielsen, Jesper E., Nielsen, Thomas D., Rasmussen, Michael R., Srba, Jiřì

    Published in IFAC-PapersOnLine
    Get full text
    Article
    Save to List
    Saved in:
  16. 56
    Language Emptiness of Continuous-Time Parametric Timed Automata

    Language Emptiness of Continuous-Time Parametric Timed Automata by Beneš, Nikola, Bezděk, Peter, Larsen, Kim G, Srba, Jiří

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  17. 57
    FBR: Dynamic Memory-Aware Fast Rerouting

    FBR: Dynamic Memory-Aware Fast Rerouting by Johansen, Nicklas S., Kar, Lasse B., Madsen, Andreas L., Nielsen, Kristian O., Schmid, Stefan, Srba, Jiri, Tollund, Rasmus G.

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  18. 58
    Methods for Efficient Unfolding of Colored Petri Nets

    Methods for Efficient Unfolding of Colored Petri Nets by Bilgram, Alexander, Jensen, Peter G, Pedersen, Thomas, Srba, Jiri, Taankvist, Peter H

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  19. 59
    Interprocedural Dataflow Analysis over Weight Domains with Infinite Descending Chains

    Interprocedural Dataflow Analysis over Weight Domains with Infinite Descending Chains by Kühnrich, Morten, Schwoon, Stefan, Srba, Jiří, Kiefer, Stefan

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  20. 60
    Learning Safe and Optimal Control Strategies for Storm Water Detention Ponds

    Learning Safe and Optimal Control Strategies for Storm Water Detention Ponds by Goorden, Martijn A, Larsen, Kim G, Nielsen, Jesper E, Nielsen, Thomas D, Rasmussen, Michael R, Srba, Jiri

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:

Search Tools: