The following pages link to Ivana Černá (Q1306564):
Displaying 23 items.
- (Q549689) (redirect page) (← links)
- Partial order reduction for state/event LTL with application to component-interaction automata (Q549692) (← links)
- Comparing expressibility of normed BPA and normed BPP processes (Q1306565) (← links)
- On clock-aware LTL parameter synthesis of timed automata (Q1648651) (← links)
- Formal analysis of piecewise affine systems through formula-guided refinement (Q1939637) (← links)
- Timed automata relaxation for reachability (Q2044206) (← links)
- On algorithmic analysis of transcriptional regulation by LTL model checking (Q2271449) (← links)
- Distributed breadth-first search LTL model checking (Q2431772) (← links)
- (Q2842855) (← links)
- (Q2842872) (← links)
- (Q2848148) (← links)
- (Q2848654) (← links)
- Parallel Model Checking Large-Scale Genetic Regulatory Networks with DiVinE (Q2870296) (← links)
- Factorization for Component-Interaction Automata (Q2891388) (← links)
- On Clock-Aware LTL Properties of Timed Automata (Q2938150) (← links)
- Optimal Temporal Logic Control for Deterministic Transition Systems With Probabilistic Penalties (Q2982700) (← links)
- Temporal logic motion planning using POMDPs with parity objectives (Q2988944) (← links)
- Modal Transition Systems: Composition and LTL Model Checking (Q3172917) (← links)
- (Q3361887) (← links)
- (Q3430687) (← links)
- (Q4636600) (← links)
- Evaluation of Domain Agnostic Approaches for Enumeration of Minimal Unsatisfiable Subsets (Q5222949) (← links)
- Mathematical Foundations of Computer Science 2003 (Q5431318) (← links)
