The following pages link to (Q5469517):
Displaying 18 items.
- Identification of the 1PL model with guessing parameter: parametric and semi-parametric results (Q358516) (← links)
- Lazy reachability checking for timed automata using interpolants (Q1683455) (← links)
- Fault localization of timed automata using maximum satisfiability (Q2026559) (← links)
- Ordering properties of the first eigenvector of certain similarity matrices (Q2337077) (← links)
- Effective definability of the reachability relation in timed automata (Q2338218) (← links)
- Reachability in two-clock timed automata is PSPACE-complete (Q2347796) (← links)
- A smoothing Newton method for symmetric cone complementarity problem (Q2354194) (← links)
- Aggregative quantification for regression (Q2435724) (← links)
- IRT test equating in complex linkage plans (Q2442104) (← links)
- Hypervolume Approximation in Timed Automata Model Checking (Q3510836) (← links)
- Finite Automata as Time-Inv Linear Systems Observability, Reachability and More (Q3624572) (← links)
- (Q4415138) (← links)
- (Q4787215) (← links)
- Accurate Directional Inference for Vector Parameters in Linear Exponential Families (Q4975352) (← links)
- (Q5144644) (← links)
- Theoretical Aspects of Computing – ICTAC 2005 (Q5395106) (← links)
- Formal Modeling and Analysis of Timed Systems (Q5717496) (← links)
- Lazy Reachability Checking for Timed Automata with Discrete Variables (Q5883582) (← links)
