The following pages link to Parametric real-time reasoning (Q5248530):
Displaying 10 items.
- Continuous One-counter Automata (Q5875944) (← links)
- A real-time interval logic and its decision procedure (Q5955786) (← links)
- Distributed parametric model checking timed automata under non-zenoness assumption (Q6108439) (← links)
- A probabilistic logic for verifying continuous-time Markov chains (Q6535602) (← links)
- Repairing timed automata clock guards through abstraction and testing (Q6536174) (← links)
- Mean-payoff optimization in continuous-time Markov chains with parametric alarms (Q6600073) (← links)
- Reachability in two-parametric timed automata with one parameter is EXPSPACE-complete (Q6614617) (← links)
- A rewriting-logic-with-SMT-based formal analysis and parameter synthesis framework for parametric time Petri nets (Q6622141) (← links)
- Cycle encoding-based parameter synthesis for timed automata safety (Q6634505) (← links)
- On the complexity of decision problems for parameterized finite state synchronous transducers (Q6666811) (← links)
