The following pages link to Nikola Beneš (Q282092):
Displaying 32 items.
- Analysing sanity of requirements for avionics systems (Q282095) (← links)
- (Q549687) (redirect page) (← links)
- Partial order reduction for state/event LTL with application to component-interaction automata (Q549692) (← links)
- EXPTIME-completeness of thorough refinement on modal transition systems (Q690504) (← links)
- Computing bottom SCCs symbolically using transition guided reduction (Q832201) (← links)
- On determinism in modal transition systems (Q843096) (← links)
- On clock-aware LTL parameter synthesis of timed automata (Q1648651) (← links)
- Aeon 2021: bifurcation decision trees in Boolean networks (Q2142120) (← links)
- AEON: attractor bifurcation analysis of parametrised Boolean networks (Q2225126) (← links)
- Symbolic coloured SCC decomposition (Q2233494) (← links)
- A model checking approach to discrete bifurcation analysis (Q2281628) (← links)
- Logical vs. behavioural specifications (Q2304534) (← links)
- Refinement checking on parametric modal transition systems (Q2340259) (← links)
- Hennessy-Milner Logic with Greatest Fixed Points as a Complete Behavioural Specification Theory (Q2842098) (← links)
- Factorization for Component-Interaction Automata (Q2891388) (← links)
- Dual-Priced Modal Transition Systems with Time Durations (Q2891444) (← links)
- Modal Process Rewrite Systems (Q2915103) (← links)
- Process Algebra for Modal Transition Systemses (Q2917271) (← links)
- Space Effective Model Checking for Component-Interaction Automata (Q2917311) (← links)
- On Clock-Aware LTL Properties of Timed Automata (Q2938150) (← links)
- Modal Transition Systems: Composition and LTL Model Checking (Q3172917) (← links)
- Parametric Modal Transition Systems (Q3172920) (← links)
- Checking Thorough Refinement on Modal Transition Systems Is EXPTIME-Complete (Q3393402) (← links)
- Language Emptiness of Continuous-Time Parametric Timed Automata (Q3449466) (← links)
- Partial Order Reduction for State/Event LTL (Q3605476) (← links)
- Finding Boundary Elements in Ordered Sets with Application to Safety and Requirements Analysis (Q4571130) (← links)
- LTL Parameter Synthesis of Parametric Timed Automata (Q4571131) (← links)
- (Q4636600) (← links)
- (Q5094123) (← links)
- Digital Bifurcation Analysis of Internet Congestion Control Protocols (Q5138291) (← links)
- Detecting Attractors in Biological Models with Uncertain Parameters (Q5227313) (← links)
- Facetal abstraction for non-linear dynamical systems based on δ-decidable SMT (Q5239225) (← links)
