Samsung Electronics Co., Ltd.

Jaecheol Lee

Jun Haeng Lee

Yongwoo Lee

Changwook Jeong

Hyojin Choi

In Huh

Youngmin Oh

Younsik Park

Hyun Sun Park

Seungju Kim

Haejong Kim

A system verification method includes generating a first verification vector as a result of a first action of an agent, the first verification vector referring to an observation corresponding to at least one state already covered, from among states of elements of a target system, identifying a first coverage corresponding to at least one state covered by the first verification vector, from among the states of the elements, updating the observation by reflecting the first coverage in the observation, and generating a second verification vector through a second action of the agent, the second verification vector referring to the updated observation.

Method and apparatus with system verification based on reinforcement learning

A display apparatus is disclosed. The display apparatus includes a display, a communication interface, a receiver, and a processor configured to decode an encoded video frame and an encoded audio frame, received through the receiver, transmit information on decoding time of the decoded video frame to an audio apparatus through the communication interface, delay the decoded audio frame by a first time, and transmit information on decoding time of the decoded audio frame, information on the first time, and an audio frame delayed by the first time to the audio apparatus through the communication interface, in response to the transmission, receive information on a second time delayed in the audio apparatus to output the audio frame from the audio apparatus through the communication interface, and synchronize an audio frame output from the audio apparatus with a video frame output through the display based on the information on the second time.

Display apparatus and method of controlling thereof

An electronic device and a controlling method therefor are provided. The electronic device includes a speaker, a microphone, and an audio processor configured to adjust a size of a signal of a predetermined frequency band in an input audio signal, determine whether to adjust the size of the audio signal wherein the size of the frequency band was adjusted based on the output level of the speaker, and output the audio signal processed based on whether the adjustment was performed through the speaker. The audio processor is further configured to perform acoustic echo cancellation for the sound signal using the input audio signal or the audio signal of which size was adjusted based on whether the adjustment was performed, based on receiving a sound signal including the output audio signal through the microphone.

Electronic device and method for controling the electronic device thereof

Growing community of inventors

Suwon-si, South Korea

Jaecheol Lee